Our Members

First NameLast NameAffiliationWebpage
Bahareh Afshari University of Gothenburg & University of Amsterdam www.cse.chalmers.se/~bahafs/
Arnold Beckmann Swansea University www.beckmann.pro
Lev Beklemishev Steklov Mathematical Institute of RUssian Academy of Sciences www.mi-ras.ru/~bekl
Frédéric Blanqui INRIA rewriting.gforge.inria.fr/
Paola Bruscoli University of Bath www.cs.bath.ac.uk/pb/
Yong Cheng School of Philosophy, Wuhan University yongcheng.whu.edu.cn/
Laura Crosilla University of Oslo sites.google.com/view/lauracrosilla/home
Anupam Das University of Birmingham www.anupamdas.com
Ana de Almeida Borges University of Barcelona
Bruno Dinis Universidade de Lisboa www.researchgate.net/profile/Bruno_Dinis2
Gilles Dowek Inria and École normale de Paris-Saclay www.lsv.fr/~dowek/
Guillaume Genestier ENS Paris-Saclay, MINES ParisTech, Inria www.lsv.fr/~genestier
Balthasar Grabmayr Humboldt University of Berlin
J. Roger Hindley Swansea, retired www.users.waitrose.com/~hindley/
Rosalie Iemhoff Utrecht University www.uu.nl/staff/RIemhoff
Jean-Baptiste JoInet Université de Lyon www-philo.univ-paris1.fr/Joinet
Joost Joosten University of Barcelona www.phil.uu.nl/~jjoosten/
Antonina Kolokolova Memorial University of Newfoundland www.cs.mun.ca/~kol
Yves Lafont Institut de Mathématiques de Marseille, CNRS-AMU iml.univ-mrs.fr/~lafont/
Graham Leigh University of Gothenburg www.gu.se/english/about_the_university/staff/?userId=xleigr