Antonina Kolokolova

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