Currently in charge of the group 

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

Associate Senior lecturer 

Researcher 

Researcher 

Postdocs and PhD students 

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.. 
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. 
PhD student 

PhD student 

PhD student 

Emeriti 

Professor 
Members of the Research group in Mathematical Logic
Last updated:
August 2, 2017
Source: The Department of Mathematics