Home   Papers   Teaching   CV   Leisure

|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

Education

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

Advising

 

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/

 

Home   Papers   Teaching   CV   Leisure
 
MPLocation: http://lpcs.math.msu.su/~pentus/cv.htm
Last modified 19.07.2013.
Mati Pentus