Our Members

First NameLast NameAffiliationWebpage
Sara Negri University' di Genova www.mv.helsinki.fi/home/negri/
Takako Nemoto Japan Advanced Institute of Science and Technology www.jaist.ac.jp/~t-nemoto/
Carlo Nicolai King's College London carlonicolai.github.io
Paulo Oliva Queen Mary University of London www.eecs.qmul.ac.uk/~pbo/
eugenio orlandelli University of Bologna www.unibo.it/sitoweb/eugenio.orlandelli/en
Robert Passmann ILLC, University of Amsterdam www.robertpassmann.eu/
Justin Pearson Uppsala universitet user.it.uu.se/~justin/
Cosimo Perini Brogi IMT School for Advanced Studies Lucca logicosimo.gitlab.io/
Davide Perinti ILLC http://
Olga Petrovska Swansea University cs.swan.ac.uk/~csolga/
Ivo Pezlar Czech Academy of Sciences, Institute of Philosophy ivo.pezlar.com
Antonio Piccolomini d'Aragona Institute of Philosophy, Czech Academy of Sciences; Centre Granger, Aix-Marseille University sites.google.com/site/piccdarag
Elaine Pimentel UFRN sites.google.com/site/elainepimentel/
Pedro Pinto TU Darmstadt www2.mathematik.tu-darmstadt.de/~pinto/
Anton Podkopaev JetBrains Research podkopaev.net
Wolfram Pohlers WWU Muenster www.uni-muenster.de/forschungaz/person/19957
Thomas Powell University of Bath t-powell.github.io/
Norbert Preining Fujitsu www.preining.info/
Adrian Puerto Aubel Bernoulli Institute - Rijksuniversiteit Groningen
David Pym UCL www.cantab.net/users/david.pym/