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 and finite model theory, applied algorithms (especially scalable algorithms), SAT solvers, data streaming.
I got my PhD in
2005 from the Dept. of Computer
Science at the University of
Toronto supervised by Stephen Cook. |