Our Members

First NameLast NameAffiliationWebpage
Laurent Théry INRIA www-sop.inria.fr/marelle/thery.html
François Thiré Inria Deducteam, LSV www.lsv.fr/~fthire/
Henry Towsner University of Pennsylvania www.sas.upenn.edu/~htowsner
Lionel Vaux Auclair Université d’Aix-Marseille www.i2m.univ-amu.fr/perso/lionel.vaux/
Jørgen Villadsen Technical University of Denmark people.compute.dtu.dk/jovi/
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