|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 02.02.2013.
Mati Pentus
Tel/fax: + 7 - 495 - 939 30 31
New e_mai|:
|
