- Analysis group The research group in analysis is at the moment working within the areas of complex analysis, operator theory, and mathematical physics, including spectral theory, Fourier analysis and stochastic analysis.
- Logic group The research group in mathematical logic is active in constructive mathematics, type theory and category-theoretic logic, as well as the philosophy of logic and mathematics. Some particular research topic pursued are: models of type theory, constructive set theories, point-free topology, relation between type theory and homotopy theory, univalent foundations, formalizations in proof-assistants for type theory.
- Mathematical statistics group The research in mathematical statistics comprises probability theory and statistical inference theory with applications in many domains. Our research group interest has focus on the applications in biostatistics (in particular genetics, epidemic spread, neural systems), climatology, econometrics, finance and insurance. Several people in the group are interested in probabilistic modelling and analysis of random networks (and more generally of discrete probability).
- Research group in algebra, geometry, topology and combinatorics The research group in algebra, geometry, topology and combinatorics carries out research in Algebraic geometry, Algebraic topology, Combinatorics, Commutative and homological algebra.