
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