
Vladimir
Andreevich
Uspensky

Professor,
Doctor of physical and mathematical sciences,
Head of Department since January 1995 (Deputy Head of Department from January 1980 till October 1993; Acting Head from October 1993 till January 1995)
Scientific interests:
recursion theory, Kolmogorov complexity
homepage: http://lpcs.math.msu.su/~uspensky/index.htm

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
homepage: http://www.mi.ras.ru/~bekl/

Vladimir
Nikolayevich
Krupski

Associate Professor,
Candidate of physical and mathematical sciences (PhD),
Scientific interests:
computational logic, proof theory,
complexity theory, theoretical CS
homepage: http://lpcs.math.msu.su/~krupski/

Stepan
Lvovich
Kuznetsov

Assistant Professor,
Candidate of physical and mathematical sciences (PhD),
Scientific interests:
mathematical linguistics, linear logic
homepage: http://lpcs.math.msu.su/~sk/

Vassily Aleksandrovich Lyubetsky

Professor,
Doctor of physical and mathematical sciences,
Scientific interests:
models and algorithms in bioinformatics, set theory, model theory
homepage: http://lpcs.math.msu.su/~lyubetsky/
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
homepage: http://lpcs.math.msu.su/~pentus/

Valery
Egorovich
Plisko

Associate Professor,
Candidate of physical and mathematical sciences (PhD),
Scientific interests:
constructive logic
homepage: http://lpcs.math.msu.su/~plisko/

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
homepage: http://lpcs.math.msu.su/~shehtman/index.html

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
homepage: http://lpcs.math.msu.su/~ver/

Tatyana
Leonidovna
Yavorskaya

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

Evgeny
E.
Zolin

Senior Researcher,
Candidate of physical and mathematical sciences (PhD),
Scientific Secretary of Department since April 2012
Scientific interests:
modal logic, description logic
homepage: http://lpcs.math.msu.su/~zolin/
Location: http://lpcs.math.msu.su/eng/staff.htm
Last modified 17.03.2017.
Mati Pentus