The Department of Mathematics at Stockholm University has 38 faculty staff members, divided into three divisions: Mathematics, Mathematical statistics and Computational mathematics. The Division of Mathematics carries out research in a wide range of topics in pure mathematics, including algebra, analysis, combinatorics, geometry, logic and topology.
The research group in mathematical logic is active in several areas of the field, including constructive mathematics, type theory, and categorical logic.
Social share