Home
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 am a member of the Theory Group at MUN . 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 2026-2027
- Winter 2027: COMP 4742/6902 (Computational Complexity)
In Fall 2026 I am away from St. John's, participating in a special program at the Isaac Newton Institute, Cambridge, UK.
Contact
Department of Computer Science
Memorial University of Newfoundland
St. John's, NL A1B 3X5
Canada
Memorial University of Newfoundland
St. John's, NL A1B 3X5
Canada
Office: ER-6033
Phone: (709)864-3657
Email: kol at mun dot ca
Phone: (709)864-3657
Email: kol at mun dot ca