Состав кафедры математической логики и теории алгоритмов

Владимир Андреевич Успенский
профессор, доктор физико-математических наук,
заведующий кафедрой с января 1995 г. (заместитель заведующего с января 1980 г. по октябрь 1993 г., и.о. заведующего с октября 1993 г. по январь 1995 г.)
область научных интересов — теория вычислимости, колмогоровская сложность
домашняя страница: http://lpcs.math.msu.su/~uspensky/
Сергей Иванович Адян
профессор, доктор физико-математических наук, академик РАН,
область научных интересов — математическая логика и теория алгоритмов, комбинаторная теория групп и полугрупп, алгоритмические проблемы в математике
Лев Дмитриевич Беклемишев
профессор, доктор физико-математических наук, член-корреспондент РАН,
домашняя страница: http://www.mi.ras.ru/~bekl/
Николай Константинович Верещагин
профессор, доктор физико-математических наук,
область научных интересов — сложность вычислений и колмогоровская сложность
домашняя страница: http://lpcs.math.msu.su/~ver/
Евгений Евгеньевич Золин
старший научный сотрудник кандидат физико-математических наук,
учёный секретарь кафедры с 01.04.2012
область научных интересов — модальная логика, дескрипционная логика
домашняя страница: http://lpcs.math.msu.su/~zolin/
Владимир Николаевич Крупский
доцент, кандидат физико-математических наук,
область научных интересов — компьютерная логика, теория доказательств, теория сложности, теоретическая информатика
домашняя страница: http://lpcs.math.msu.su/~krupski/
Степан Львович Кузнецов
ассистент, кандидат физико-математических наук,
область научных интересов — математическая лингвистика, линейная логика
домашняя страница: http://lpcs.math.msu.su/~sk/
Василий Александрович Любецкий
профессор, доктор физико-математических наук,
область научных интересов — модели и алгоритмы в биоинформатике, теория множеств, теория моделей
домашняя страница: http://lpcs.math.msu.su/~lyubetsky/
lyubetsk@iitp.ru
Мати Рейнович Пентус
профессор, доктор физико-математических наук,
заместитель заведующего кафедрой с 1999 г.
область научных интересов — компьютерная логика, неклассическая логика, теория доказательств, математическая лингвистика
домашняя страница: http://lpcs.math.msu.su/~pentus/
Валерий Егорович Плиско
доцент, кандидат физико-математических наук,
область научных интересов — конструктивная логика
домашняя страница: http://lpcs.math.msu.su/~plisko/
Алексей Львович Семёнов
профессор, доктор физико-математических наук, академик РАН
Алексей Андреевич Сорокин
ассистент, кандидат физико-математических наук,
область научных интересов — категориальные грамматики, теория формальных языков, вычислительная лингвистика
alexey.sorokin [at] list.ru
Валентин Борисович Шехтман
профессор, доктор физико-математических наук,
область научных интересов — неклассическая логика
домашняя страница: http://lpcs.math.msu.su/~shehtman/
Татьяна Леонидовна Яворская
доцент, кандидат физико-математических наук,
область научных интересов — теория доказательств, конструктивная логика

Адрес: http://lpcs.math.msu.su/rus/staff.htm
Изменения внесены 17.03.2017.

Мати Рейнович ПЕНТУС