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 1995 (Deputy Head of Department since January 1980; Acting Head since October 1993)
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

Maxim Aleksandrovich Babenko

Assistant Professor, Candidate of physical and mathematical sciences (PhD),
Scientific interests: combinatorial optimization, complexity theory
homepage: http://adde.math.msu.su/max/

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/

Nikolai Konstantinovich Vereshchagin

Professor, Doctor of physical and mathematical sciences,
Scientific interests: computational complexity and Kolmogorov complexity
homepage: http://lpcs.math.msu.su/~ver/

Evgeny E. Zolin

Senior Researcher, Candidate of physical and mathematical sciences (PhD),
Scientific interests: modal logic, description logic
homepage: http://lpcs.math.msu.su/~zolin/

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/

Mati Reinovich Pentus

Professor, Doctor of physical and mathematical sciences,
Deputy Head of Department since 1999 (Scientific Secretary of Department in 1997-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 Secretary of Department in 1993-1997, Deputy Head of Department in 1997-1999)
Scientific interests: constructive logic
homepage: http://lpcs.math.msu.su/~plisko/

Alexei Lvovich Semenov

Professor, Doctor of physical and mathematical sciences, Corresponding 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

Tatyana Leonidovna Yavorskaya

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

Location: http://lpcs.math.msu.su/eng/staff.htm
Last modified 19.12.2011.