Degrees

DPhil in Computation, University of Oxford, 1999.

MSc diploma in Mathematics and Computer Science, St. Petersburg University, 1992.

Positions held

Associate Professor at the Department of Computer Science, University of Warwick, from 1999.

Departmental Lecturer at the Computing Laboratory, University of Oxford, 1997—99.

Graduate student at the Computing Laboratory, University of Oxford, 1993—98. Supervised by Prof. W. F. McColl, examined by Prof. R. P. Brent and Prof. M. S. Paterson.

Graduate student at the Laboratory of Mathematical Logic, St. Petersburg Steklov Mathematical Institute, 1992—93. Supervised by Prof. Yu. V. Matiyasevich.

Student at the Computer Science Department, Faculty of Mathematics and Mechanics, St. Petersburg University, 1987—92. Final project supervised by Prof. Yu. V. Matiyasevich, examined by Dr. V. P. Orevkov.

Graduate of St. Petersburg school 239, 1987.

Grants

Royal Society Leverhulme Trust Senior Research Fellowship, 2009—10.

Personal information

Born in St. Petersburg, Russia, in 1970.