Steven Perron
Department of Computer Science, University Of Toronto.
10 King's College Road, Toronto, Ontario, M5S 3G4, CANADA




I am a graduate student at the University of Toronto. Currently, I am studying quantified propositional proof systems, bounded arithmetic, and computational complexity. This is work I am doing with my current supervisor Stephen Cook. I use to do research in error-correcting codes. This is work I did during my undergraduate degree at Saint Mary's University under the supervision of Stavros Konstantinidis. I am also interested in finite model theory. Below is a list of my publications.

In my spare time, I like to play ultimate, travel, and get involved with my local church. See my Web Album for pictures from my trips.











Journal Articles

Conference Articles

Reports (Unpublished)