Antonina Kolokolova

Professor, Memorial University of Newfoundland
Visiting Scientist
Dates of Visit: Jan. 9May 11, 2018

Antonina Kolokolova is a faculty member in the Computer Science department at the Memorial University of Newfoundland (Canada). She obtained her PhD in 2005 from the University of Toronto, under supervision of Stephen Cook. Before taking her current position, she was a postdoctoral researcher at the Mathematical Institute of the Academy of Sciences of the Czech Republic, and at Simon Fraser University (Canada). Her main research interests are in theoretical computer science, in particular computational complexity theory, mathematical logic and proof complexity.

Program Visits