English

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

См. также список сотрудников кафедры на сайте ИСТИНА

СЕМЁНОВ Алексей Львович
профессор, доктор физико-математических наук, академик РАН
заведующий кафедрой с 01.09.2018
область научных интересов — определимость отношений, разрешимость логических теорий, комбинаторика слов, символическая динамика
MathNet | ИСТИНА | DBLP | Math Genealogy | YouTube: лекции 2012 / 2013 / 2014

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

MathNet | ИСТИНА | DBLP

БЕКЛЕМИШЕВ Лев Дмитриевич
профессор, доктор физико-математических наук, член-корреспондент РАН
область научных интересов — теория доказательств, фрагменты формальной арифметики, логика доказуемости, модальная логика, теоремы Гёделя, неполнота, доказательство, вычислимость

MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | ВШЭ | YouTube

ВЕРЕЩАГИН Николай Константинович
профессор, доктор физико-математических наук,
область научных интересов — сложность вычислений и колмогоровская сложность

MathNet | ИСТИНА | DBLP | Google Scholar | Math Genealogy | ВШЭ

ЗОЛИН Евгений Евгеньевич
старший научный сотрудник кандидат физико-математических наук,
учёный секретарь кафедры с 01.04.2012
область научных интересов — модальная логика, дескрипционная логика

MathNet | ИСТИНА | DBLP | Google Scholar | ВШЭ

КРУПСКИЙ Владимир Николаевич
доцент, кандидат физико-математических наук
область научных интересов — компьютерная логика, теория доказательств, теория сложности, теоретическая информатика

MathNet | ИСТИНА | DBLP

КУЗНЕЦОВ Степан Львович
ассистент, кандидат физико-математических наук,
область научных интересов — математическая лингвистика, линейная логика

MathNet | ИСТИНА | DBLP | Google Scholar | ВШЭ | YouTube

ЛЮБЕЦКИЙ Василий Александрович
профессор, доктор физико-математических наук,
область научных интересов — модели и алгоритмы в биоинформатике, теория множеств, теория моделей
lyubetsk@iitp.ru
MathNet | ИСТИНА | DBLP | ИППИ

ПЕНТУС Мати Рейнович
профессор, доктор физико-математических наук,
заместитель заведующего кафедрой с 1999 г.
область научных интересов — компьютерная логика, неклассическая логика, теория доказательств, математическая лингвистика
MathNet | ИСТИНА | DBLP | Math Genealogy

ПЛИСКО Валерий Егорович
доцент, кандидат физико-математических наук,
область научных интересов — конструктивная логика

MathNet | ИСТИНА | DBLP

СОРОКИН Алексей Андреевич
ассистент, кандидат физико-математических наук,
область научных интересов — математическая лингвистика, теория формальных языков, категориальные грамматики, вычислительная лингвистика
alexey.sorokin [at] list.ru
MathNet | ИСТИНА | DBLP

ШЕХТМАН Валентин Борисович
профессор, доктор физико-математических наук,
область научных интересов — неклассическая логика

MathNet | ИСТИНА | DBLP | Math Genealogy | ИППИ | ВШЭ

ЯВОРСКАЯ Татьяна Леонидовна
доцент, кандидат физико-математических наук,
область научных интересов — теория доказательств, конструктивная логика

MathNet | ИСТИНА | DBLP

Изменения внесены 08.08.2018.

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