Our Members

First NameLast NameAffiliationWebpage
Rui Li Sorbonne university (Paris 4 and 6)
Bruno Lopes Universidade Federal Fluminense www.ic.uff.br/~bruno
Nicolas MAGAUD Université de Strasbourg dpt-info.u-strasbg.fr/~magaud
Paul-André Melliès CNRS www.irif.fr/~mellies
Dale Miller Inria Saclay and LIX www.lix.polytechnique.fr/Labo/Dale.Miller/
Sophie Nagler University of Oxford and Munich Center for Mathematical Philosophy oxford.academia.edu/SophieNagler
Julien Narboux University of Strasbourg dpt-info.u-strasbg.fr/~narboux/
Farhan Nasir University of Tübingen farhannasir.academia.edu
Sara Negri University' di Genova www.mv.helsinki.fi/home/negri/
Takako Nemoto Japan Advanced Institute of Science and Technology www.jaist.ac.jp/~t-nemoto/
Paulo Oliva Queen Mary University of London www.eecs.qmul.ac.uk/~pbo/
Justin Pearson Uppsala universitet user.it.uu.se/~justin/
Cosimo Perini Brogi Dept of Mathematics - University of Genoa logicosimo.gitlab.io/
Olga Petrovska Swansea University cs.swan.ac.uk/~csolga/
Pedro Pinto TU Darmstadt www2.mathematik.tu-darmstadt.de/~pinto/
Wolfram Pohlers WWU Muenster www.uni-muenster.de/forschungaz/person/19957
Thomas Powell University of Bath t-powell.github.io/
Norbert Preining Accelia, Inc. www.preining.info/
David Pym UCL www.cantab.net/users/david.pym/
Benjamin Ralph Inria Saclay ben-ralph.com