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
Website Opens new tab