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

Владимир Андреевич Успенский

профессор, доктор физико-математических наук,
заведующий кафедрой с 1995 г. (заместитель заведующего с января 1980 г., и.о. заведующего с октября 1993 г.)
область научных интересов — теория вычислимости, колмогоровская сложность
домашняя страница: http://lpcs.math.msu.su/~uspensky/

Сергей Иванович Адян

профессор, доктор физико-математических наук, академик РАН,
область научных интересов — математическая логика и теория алгоритмов, комбинаторная теория групп и полугрупп, алгоритмические проблемы в математике

Максим Александрович Бабенко

ассистент, кандидат физико-математических наук,
область научных интересов — комбинаторная оптимизация, теория сложности
домашняя страница: http://adde.math.msu.su/max/

Лев Дмитриевич Беклемишев

профессор, доктор физико-математических наук, член-корреспондент РАН,
домашняя страница: http://www.mi.ras.ru/~bekl/

Николай Константинович Верещагин

профессор, доктор физико-математических наук,
область научных интересов — сложность вычислений и колмогоровская сложность
домашняя страница: http://lpcs.math.msu.su/~ver/

Евгений Евгеньевич Золин

старший научный сотрудник кандидат физико-математических наук,
область научных интересов — модальная логика, дескрипционная логика
домашняя страница: http://lpcs.math.msu.su/~zolin/

Владимир Николаевич Крупский

доцент, кандидат физико-математических наук,
область научных интересов — компьютерная логика, теория доказательств, теория сложности, теоретическая информатика
домашняя страница: http://lpcs.math.msu.su/~krupski/

Мати Рейнович Пентус

профессор, доктор физико-математических наук,
заместитель заведующего кафедрой с 1999 г. (учёный секретарь кафедры в 1997-1999)
область научных интересов — компьютерная логика, неклассическая логика, теория доказательств, математическая лингвистика
домашняя страница: http://lpcs.math.msu.su/~pentus/

Валерий Егорович Плиско

доцент, кандидат физико-математических наук,
(учёный секретарь кафедры в 1993-1997 гг., заместитель заведующего кафедрой в 1997-1999 г.)
область научных интересов — конструктивная логика
домашняя страница: http://lpcs.math.msu.su/~plisko/

Алексей Львович Семёнов

профессор, доктор физико-математических наук, член-корреспондент РАН

Валентин Борисович Шехтман

профессор, доктор физико-математических наук,
область научных интересов — неклассическая логика
домашняя страница: http://lpcs.math.msu.su/~shehtman/

Татьяна Леонидовна Яворская

доцент, кандидат физико-математических наук,
учёный секретарь кафедры с 1999
область научных интересов — теория доказательств, конструктивная логика

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