Antonina Kolokolova

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.