Currently in charge of the group 

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

Assistant Professor (Biträdande lektor) 

Affiliated Researcher 

Postdocs and PhD students 

PhD student 

PhD student 

PhD student 

Emeriti 

Professor 

Associated researchers 

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..  
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; typetheory of algorithms; typetheory of situated information; computerised processing of formal and natural languages; typetheoretic grammars; Constraint Based Lexicalized Grammar (CBLG) of natural language; computational syntax, semantics, and syntaxsemantics interfaces.  
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. 
Members of the Research group in Mathematical Logic
Last updated:
March 5, 2018
Source: The Department of Mathematics