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