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