Our Members

First NameLast NameAffiliationWebpage
Stephen G. Simpson Pennsylvania State University, Vanderbilt University www.math.psu.edu/simpson/
Daniel Sousa Universitat de Barcelona
Allan Tabilog Red Energy Ltd Australia http://
Yuta Takahashi IHPST, Université Paris 1 Panthéon-Sorbonne researchmap.jp/y_takahashi/
Jinghui Tao University of Manchester
Laurent Théry INRIA www-sop.inria.fr/marelle/thery.html
François Thiré Inria Deducteam, LSV www.lsv.fr/~fthire/
Lionel Vaux Auclair Université d’Aix-Marseille www.i2m.univ-amu.fr/perso/lionel.vaux/
Andreas Weiermann Department of Mathematics: Analysis, Logic and discrete mathematics http://
Matteo Zicchetti University of Bristol research-information.bristol.ac.uk/en/persons/matteo-zicchetti(d22d9cbe-3fd2-4e3b-b3ef-d7d67eb734a9).html