Barcelona Group on Pure and Applied Proof Theory
Barcelona Group on Pure and Applied Proof Theory
People
Projects
Events
Publications
Various Links
Meet the Team
Core members
Joost J. Joosten
Group Coordinator
Sofía Santiago
Researcher
Ana Borges
Researcher
Albert Atserias
University Professor
David Fernández-Duque
University Professor
Eduardo Hermo
Researcher
Jan Mas
Researcher
Maria Lluisa Bonet
University Professor
Mireia González
Researcher
Moritz Müller
Researcher
Quim Casals
Researcher
External members
Lev D. Beklemishev
Full Professor
Former members
Alfonso Alfaro
Researcher
Esperanza Buitrago
Researcher
Nika Pona
Researcher
Aleix Solé
Researcher
Eric Sancho
Researcher
Juan Conejero
Researcher
Cite
×