Our Members

First NameLast NameAffiliationWebpage
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
Thomas Powell University of Bath t-powell.github.io/
Norbert Preining Accelia, Inc. www.preining.info/
David Pym UCL www.cantab.net/users/david.pym/
Benjamin Ralph Inria Saclay ben-ralph.com
Ramyaa Ramyaa New Mexico tech www.cs.nmt.edu/~ramyaa/
Greg Restall Philosophy Department, The University of Melbourne consequently.org/
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
Aleksandra Samonek UCLouvain asamonek.github.io
Helmut Schwichtenberg LMU Muenchen www.mathematik.uni-muenchen.de/~schwicht/
Anton Setzer Swansea University www.cs.swan.ac.uk/~csetzer/
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