
Stefan Grosser
Graduate Student, McGill University
Stefan is a PhD student at McGill studying proof complexity.