Stefan Grosser

Graduate Student, McGill University
Visiting Graduate Student

Stefan is a PhD student at McGill studying proof complexity.

Program Visits

Meta-Complexity , Spring 2023
Visiting Graduate Student
program
Meta-Complexity
visiting