Russian

Faculty members of the Department of Mathematical Logic and Theory of Algorithms

Vladimir Andreevich Uspensky
Professor, Doctor of physical and mathematical sciences,
Head of Department since January 1995 — June 2018
(Deputy Head of Department from January 1980 till October 1993;
Acting Head from October 1993 till January 1995)
Scientific interests: recursion theory, Kolmogorov complexity


Sergei Ivanovich Adian
Professor, Doctor of physical and mathematical sciences, Member of the Russian Academy of Sciences
Scientific interests: mathematical logic and the theory of algorithms, combinatorial group theory, algorithmic problems in mathematics


Lev Dmitrievich Beklemishev
Professor, Doctor of physical and mathematical sciences, Corresponding Member of the Russian Academy of Sciences


Vladimir Nikolayevich Krupski
Associate Professor, Candidate of physical and mathematical sciences (PhD),
Scientific interests: computational logic, proof theory, complexity theory, theoretical CS


Stepan Lvovich Kuznetsov
Assistant Professor, Candidate of physical and mathematical sciences (PhD)
Scientific interests: mathematical linguistics, linear logic


Vassily Aleksandrovich Lyubetsky
Professor, Doctor of physical and mathematical sciences
Scientific interests: models and algorithms in bioinformatics, set theory, model theory
lyubetsk@iitp.ru

Mati Reinovich Pentus
Professor, Doctor of physical and mathematical sciences
Deputy Head of Department since 1999
Scientific interests: computational logic, nonclassical logic, proof theory, mathematical linguistics

Valery Egorovich Plisko
Associate Professor, Candidate of physical and mathematical sciences (PhD)
Scientific interests: constructive logic


Alexei Lvovich Semenov
Professor, Doctor of physical and mathematical sciences, Member of the Russian Academy of Sciences

Valentin Borisovich Shehtman
Professor, Doctor of physical and mathematical sciences,
Scientific interests: nonclassical logic


Alexey Andreevich Sorokin
Assistant Professor, Candidate of physical and mathematical sciences (PhD)
Scientific interests: categorial grammars, formal language theory, computational linguistics
alexey.sorokin [at] list.ru

Nikolay Konstantinovich Vereshchagin
Professor, Doctor of physical and mathematical sciences
Scientific interests: computational complexity and Kolmogorov complexity


Tatyana Leonidovna Yavorskaya
Associate Professor, Candidate of physical and mathematical sciences (PhD),
Scientific interests: computational logic, constructive logic


Evgeny Evgenievich Zolin
Senior Researcher, Candidate of physical and mathematical sciences (PhD),
Scientific Secretary of Department since April 2012
Scientific interests: modal logic, description logic

Last modified 08.08.2018.

Mati Pentus