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 (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