Wilfried |
Sieg |
Carnegie Mellon University |
www.cmu.edu/dietrich/philosophy/people/faculty/sieg.html |
Ryan |
Simonelli |
University of Chicago |
ryansimonelli.com |
Stephen G. |
Simpson |
Pennsylvania State University, Vanderbilt University |
www.math.psu.edu/simpson/ |
Morgan |
Sinclaire |
New Mexico State University |
github.com/Morgan-Sinclaire/Gentzen |
Andrei |
Sipoș |
University of Bucharest |
cs.unibuc.ro/~asipos/ |
Maximos |
Skandalis |
CNRS & University of Montpellier |
www.theses.fr/en/s355752 |
Giovanni |
Solda |
Swansea University |
eps.leeds.ac.uk/maths/pgr/5099/giovanni-solda |
Sho |
Sonoda |
RIKEN |
sites.google.com/view/shosonoda/home |
Daniel |
Sousa |
Universitat de Barcelona |
|
David |
Spitz |
University of Chicago |
http:// |
Will |
Stafford |
University of Bristol |
www.willstafford.info |
Lukasz T. |
Stepien |
University of the National Education Commission, Krakow |
ltstepien.up.krakow.pl/ |
Göran |
Sundholm |
Philosophy, Leiden University |
www.researchgate.net/profile/Goeran-Sundholm |
Allan |
Tabilog |
Red Energy Ltd Australia |
|
Yuta |
Takahashi |
Aomori University |
takahashi-yt.github.io/ |
Jinghui |
Tao |
University of Manchester |
|
Eugenia |
Ternovska |
Simon Fraser University |
www.cs.sfu.ca/~ter/ |
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 |