I am interested in computational logic and complexity theory, especially in its connection to bounded arithmetic and finite model theory. My Ph.D. is from the Dept. of Computer Science at the University of Toronto supervised by Stephen Cook. I defended my thesis in October 2004.

Since the summer 2007, I am at the Computer Science department of the Memorial University of Newfoundland. Before that, I was a PIMS postdoc at Dept. of Computer Science at the Simon Fraser University. I had an intermediate affiliation at the Mathematical Institute of the Academy of Sciences of the Czech Republic.

Here are my CV, research statement and a teaching statement.

As of Sep 2008, the Theory Student Seminar is organized by Siavosh Benabbas.