Our Members

First NameLast NameAffiliationWebpage
Helmut Schwichtenberg LMU Muenchen www.mathematik.uni-muenchen.de/~schwicht/
Anton Setzer Swansea University www.cs.swan.ac.uk/~csetzer/
Wilfried Sieg Carnegie Mellon University www.cmu.edu/dietrich/philosophy/people/faculty/sieg.html
Stephen G. Simpson Pennsylvania State University, Vanderbilt University www.math.psu.edu/simpson/
Morgan Sinclaire New Mexico State University github.com/Morgan-Sinclaire/Gentzen
Giovanni Solda Swansea University eps.leeds.ac.uk/maths/pgr/5099/giovanni-solda
Daniel Sousa Universitat de Barcelona
Allan Tabilog Red Energy Ltd Australia
Yuta Takahashi Ochanomizu University 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/
Henry Towsner University of Pennsylvania www.sas.upenn.edu/~htowsner
Vivek Tripathi Student
David Udumyan University of Miami nullstellensatz.us
Benno Van den Berg University of Amsterdam www.illc.uva.nl/People/person/3449/Dr-Benno-van-den-Berg
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/
Albert Visser Utrecht University www.uu.nl/medewerkers/avisser
James Walsh Cornell University math.berkeley.edu/~walsh/