Our Members

First NameLast NameAffiliationWebpage
Nissan Levi Tel-Aviv university http://
Rui Li Sorbonne university (Paris 4 and 6)
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/
Julien Narboux University of Strasbourg dpt-info.u-strasbg.fr/~narboux/
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 Maths - University of Genoa github.com/logicosimo
Olga Petrovska Swansea University cs.swan.ac.uk/~csolga/
Wolfram Pohlers WWU Muenster www.uni-muenster.de/forschungaz/person/19957
Norbert Preining Accelia, Inc. www.preining.info/
Benjamin Ralph Inria Saclay ben-ralph.com
Reuben Rowe Royal Holloway, University of London pure.royalholloway.ac.uk/portal/en/persons/reuben-rowe(70354339-7bc5-475d-b8d5-7fa95114d851).html
Aleksandra Samonek UCLouvain asamonek.github.io
Helmut Schwichtenberg LMU Muenchen www.mathematik.uni-muenchen.de/~schwicht/
Daniel Sousa Universitat de Barcelona
Yuta Takahashi IHPST, Université Paris 1 Panthéon-Sorbonne researchmap.jp/y_takahashi/
Jinghui Tao University of Manchester