Huidige functie(s)
Onderzoekseenheden
Onderzoeksdisciplines
-
Natural sciences
- Convex and discrete geometry
- Combinatorics
- History and biography of mathematical sciences
- Mathematical logic and foundations
- History and foundations not elsewhere classified
- Applied discrete mathematics
- Coding and information theory
- Computational logic and formal languages
- Theoretical computer science not elsewhere classified
-
Engineering and technology
- Mathematical software
Expertise
Termherschrijfsystemen
Wiskundige logica
Bewijstheorie