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