I am interested in computational logic and complexity theory, especially in its connection
to bounded arithmetic and finite model theory.
My Ph.D. is from the Dept. of
Computer Science at the University
of Toronto supervised by
Cook. I defended my thesis in October 2004.
Since the summer 2007, I am at the Computer Science department of the Memorial University of Newfoundland. Before that, I was a PIMS postdoc at Dept. of Computer Science at the Simon Fraser University. I had an intermediate affiliation at the Mathematical Institute of the Academy of Sciences of the Czech Republic.