**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

Mathematical logic, proof theory, formal languages