Saint Petersburg, 199178, Russia, Line 14th (Vasilyevsky Island), 29
(812) 363-68-71, (812) 363-68-72
ru en

Education

  • Doctor degree in mathematics (doctor of science) from Moscow State University, January 2001, (defence of the thesis: October 2000)
    Area: Mathematical logic, algebra, and number theory (01.01.06)
    Thesis: Completeness of the Lambek calculus
    Opponents: Prof. Aleksandr Vasiljevich Mikhalev, Prof. Vladimir Pavlovich Orevkov, and Prof. Alexei Lvovich Semenov
  • Ph.D. in mathematics (candidate of science) from Moscow State University, March 1996 (confirmed: June 1996)
    Area: Mathematical logic, algebra, and number theory (01.01.06)
    Thesis: Lambek calculus and formal grammars
    Supervisor: Prof. Sergei Artemov
    Opponents: Prof. Alexander Razborov and Prof. Nikolai Vereshchagin
  • Graduated Moscow State University, June 1992
    Major: Mathematics and applied mathematics
    Thesis: Equivalent types in Lambek calculus and linear logic
    Supervisor: Prof. Sergei Artemov

Scientific interests

Mathematical logic, proof theory, formal languages