Our Members

First NameLast NameAffiliationWebpage
Ramyaa Ramyaa New Mexico tech www.cs.nmt.edu/~ramyaa/
Logan Reed Texas State STUDENT
Greg Restall Philosophy Department, The University of Melbourne consequently.org/
David Ripley Monash Philosophy davewripley.rocks
Jan Rooduijn University of Amsterdam http://
Reuben Rowe Royal Holloway, University of London pure.royalholloway.ac.uk/portal/en/persons/reuben-rowe(70354339-7bc5-475d-b8d5-7fa95114d851).html
GIOVANNI SAMBIN University of Padova
Aleksandra Samonek UCLouvain asamonek.github.io
Paulo Guilherme Santos FCT-NOVA; Tübingen Universität sites.google.com/a/campus.fct.unl.pt/paulo-guilherme-santos/
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
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/