Antonina Kolokolova
Home
Antonina Kolokolova

I am an Associate Professor 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 Department of Computer Science at the University of Toronto, supervised by Stephen Cook.

Please see my CV for more information.


Teaching in Winter 2017


Contact

Department of Computer Science
Memorial University of Newfoundland
St. John's, NL A1B 3X5
Canada
Office: ER-6033
Phone: (709)737-3657
Email: kol at mun dot ca