Current Position(s)
Research unit(s)
Research disciplines
-
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
Term rewriting systems
Mathematical Logic
Proof theory