Huidige functie(s)
hoofddocent
docent tenure track
Onderzoeksdisciplines
-
Natural sciences
- Category theory, homological algebra
- Mathematical logic and foundations
- Analysis of algorithms and complexity
Expertise
Logica
Bewijstheorie