He finished his Ph.D. in 2001 at the University of Toronto, under the supervision of Stephen Cook. He was a Visiting Ulam Professor in the Department of Mathematics at the University of Colorado at Boulder during the academic year 2007/2008. His research interests are computational complexity and logic. He is particularly interested in proof complexity, an area which investigates logical systems that use restricted reasoning based on concepts from computational complexity.