Current Position(s)
Tenure track assistant professor
Research disciplines
-
Natural sciences
- Category theory, homological algebra
- Mathematical logic and foundations
- Analysis of algorithms and complexity
Expertise
Logic
Proof Theory