Curriculum vitae

Mati Reinovich Pentus

Born: 1967 in Tallinn, Estonia
Degree: doctor of physical and mathematical sciences
Institution: Moscow State University
Position: professor
Research interests: mathematical logic, proof theory, formal languages

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

Employment
September 2003 - present: Professor (since November 1999 deputy head of department) Department of Mathematical Logic and Theory of Algorithms Faculty of Mechanics and Mathematics Moscow State University October 1998 - September 2003: Associate professor March 1998 - October 1998: Senior teacher November 1995 - March 1998: Assistant professor November 1992 - November 1995: Ph.D. student		Laboratory LPCS Dept. of Math. Logic Faculty of Mech. and Math. Moscow State University

Contact information

Address:
Department of Mathematical Logic
and Theory of Algorithms
Faculty of Mechanics and Mathematics
Moscow State University
Leninskie gory, Moscow, 119992 RUSSIA

Tel/fax: + 7 - 495 - 939 30 31
E^_mai|:

WWW: https://fervo.ru/mr/

Location: https://fervo.ru/mr/cv.htm
Last modified 19.07.2013.
Mati Pentus

Curriculum vitae

Mati Reinovich Pentus

Education

Employment

Contact information