I am currently at the Department of Computer Science, Memorial
University of Newfoundland. My research interests are theoretical
computer science (in particular complexity theory and proof complexity),
mathematical logic, SAT solvers, data streams.
I got my PhD in
2005 from the Dept. of Computer
Science at the University of
Toronto supervised by Stephen Cook. |