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.
Memorial University of Newfoundland
St. John's, NL A1B 3X5
Email: kol at mun dot ca