Stefan Grosser
Graduate Student, McGill University
Stefan is a PhD student at McGill studying proof complexity.
Program Visits
- Meta-Complexity, Spring 2023. Visiting Graduate Student.
