![](https://old.simons.berkeley.edu/sites/default/files/styles/profile_main/public/20221001_151053.jpeg?itok=IBAxmerF)
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.