Currently in charge of the group

Erik Palmgren,
Professor
My area of research is mathematical logic, and especially its interaction with constructive aspects of mathematics.

Researchers

Peter LeFanu Lumsdaine,
Associate Senior lecturer
 
Henrik Forssell,
Researcher
 
Roussanka Loukanova,
Researcher
 

Postdocs and PhD students

Christian Espíndola,
Postdoc
My area of interest is Mathematical logic and Foundations. This involves parts of model theory, set theory, metamathematics, category theory (especially categorical logic), formal systems and philosophy of mathematics..
Håkon Robbestad Gylterud,
Postdoc
My academic interests are in the fields of mathematical logic, foundations of mathematics, category theory and computer science. I enjoy computer checked, formal proofs and have a keen interest in constructive mathematics and looking at proofs in them selves as algebraic objects.
Jacopo Emmenegger,
PhD student
 
Johan Lindberg,
PhD student
 
Anna Montaruli,
PhD student
 

Emeriti

Per Martin-Löf,
Professor