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
.png)
