Currently in charge of the group

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


Peter LeFanu Lumsdaine,
Assistant Professor (Biträdande lektor)
Henrik Forssell,
Affiliated Researcher

Postdocs and PhD students

Jacopo Emmenegger,
PhD student
Johan Lindberg,
PhD student
Anna Montaruli,
PhD student


Per Martin-Löf,

Associated researchers

Christian Espíndola 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..
Roussanka Loukanova My research is in the areas of logic, theory of computation, and computational linguistics. The focus of my work is on: type theoretic approaches to information and information processing; type-theory of algorithms; type-theory of situated information; computerised processing of formal and natural languages; type-theoretic grammars; Constraint Based Lexicalized Grammar (CBLG) of natural language; computational syntax, semantics, and syntax-semantics interfaces.​
Håkon Robbestad Gylterud 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.