DPhil in Computation, University of Oxford, 1999.
MSc diploma in Mathematics and Computer Science, St. Petersburg University, 1992.
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.
Royal Society Leverhulme Trust Senior Research Fellowship, 2009—10.
Born in St. Petersburg, Russia, in 1970.