Vivprotokolo

Mati Rejnoviĉ Pentus

Naskiĝis: en 1967 en Talino, Estonio
Scienca grado: doktoro pri fizikaj-matematikaj sciencoj
Instituto: Moskva ŝtata universitato
Ofico: profesoro
Sciencaj interesoj: matematika logiko, pruvteorio, formalaj lingvoj

Edukado

Habilitacia grado en matematiko (doktoro pri sciencoj laŭ la rusa sistemo) de la Moskva ŝtata universitato, januaro 2001, (defendo de la disertacio: oktobro 2000)
Fako: matematika logiko, algebro kaj nombroteorio (01.01.06)
Disertacio: Kompleteco de la lambek-kalkulo
Oficialaj oponantoj: prof. Aleksandr Vasiljeviĉ Miĥalov, prof. Vladimir Pavloviĉ Orevkov kaj prof. Aleksej Lvoviĉ Semjonov
Doktora grado en matematiko (kandidato pri sciencoj laŭ la rusa sistemo) de la Moskva ŝtata universitato, marto 1996 (konfirmita: junio 1996)
Fako: matematika logiko, algebro kaj nombroteorio (01.01.06)
Disertacio: La lambek-kalkulo kaj formalaj gramatikoj
Scienca gvidanto: prof. Sergej Nikolajeviĉ Artjomov
Oficialaj oponantoj: prof. Aleksandr Aleksandroviĉ Razborov kaj prof. Nikolaj Konstantinoviĉ Vereŝĉagin
Diplomiĝis en la Moskva ŝtata universitato, junio 1992
Fako: matematiko kaj aplika matematiko
Disertacio: Ekvivalentaj tipoj en la lambek-kalkulo kaj lineara logiko
Scienca gvidanto: prof. Sergej Nikolajeviĉ Artjomov

Oficoj
Ekde septembro 2003: Profesoro (ekde novembro 1999 vicestro de la katedro) Katedro de matematika logiko kaj algoritmoteorio Mekanika-matematika fakultato Moskva ŝtata universitato Oktobro 1998 - septembro 2003: Docento Marto 1998 - oktobro 1998: Supera instruisto Novembro 1995 - marto 1998: Asistanto Novembro 1992 - novembro 1995: Aspiranto		Laboratorio LPCS Katedro de mat. logiko Fakultato de mek. kaj mat. Moskva ŝtata universitato

Scienca gvidado

Aspirantoj: Dmitrij Kirnocenskij, Jurij Savatejev.

Studentoj: Irina Bolgova, Kirill Ĉepurin, Anna Ĉernilovskaja, Aleksandr Ĥaritonov, Jekaterina Iljuŝkina, Dmitrij Koroĉkin, Stepan Kuznecov, Vera Minina, Aleksej Safiullin, Pjotr Strelkov, Olga Urjupina.

Kontaktinformo

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

Tel/fakso: + 7 - 495 - 939 30 31
Retpoŝto:

Bonvolu ne publikigi la retpoŝt-adreson tekste.
TTT: http://lpcs.math.msu.su/~pentus/