Esperanto
English
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
 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

Ph.D. students:
Dmitry Kirnocenskij,
Yury Savateev.
Graduate students:
Irina Bolgova,
Kirill Chepurin,
Anna Chernilovskaya,
Jekaterina Iljushkina,
Alexander Kharitonov,
Dmitry Korochkin,
Steve Kuznetsov,
Vera Minina,
Alexey Safiullin,
Piotr Strelkov,
Olga Urjupina.
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:
http://lpcs.math.msu.su/~pentus/ 


Location:
http://lpcs.math.msu.su/~pentus/cv.htm
Last modified 19.07.2013.
Mati Pentus
