Состав кафедры

Сотрудник кафедры до 2013 года. Руководитель службы разработки технологий распределённых вычислений ООО «Яндекс», заведующий кафедрой Яндекса факультета компьютерных наук ВШЭ, доцент кафедры анализа данных ФИВТ МФТИ, к. ф.-м. н.

Академик РАН, профессор кафедры (до 2022 года), заведующий отделом математической логики Математического института им. В. А. Стеклова РАН

Федеральный профессор, профессор МФТИ и Бар-Иланского университета, д. ф.-м. н.

Профессор кафедры, заведующий лабораторией теоретической информатики ФКН ВШЭ, профессор школы анализа данных ООО «Яндекс», член Европейской академии по секции информатики, д. ф.-м. н.

Сотрудник кафедры до 2005 года. Главный научный сотрудник лаборатории математических методов и моделей в биоинформатике ИППИ РАН, профессор, д. ф.-м. н.

Доцент кафедры, к. ф.-м. н.

Профессор кафедры, ведущий научный сотрудник отдела математической логики МИАН, д. ф.-м. н.

Профессор кафедры, заведующий лабораторией математических методов и моделей в биоинформатике ИППИ РАН, д. ф.-м. н.

Старший научный сотрудник кафедры, доцент НИУ ВШЭ, к.ф.-м.н.

Вне штата. Научный сотрудник отдела математической логики МИАН, к. ф.-м. н.

Профессор кафедры, д. ф.-м. н.

Доцент кафедры (до 2026 года), к. ф.-м. н.

Сотрудник кафедры до 2021 года.

Заведующий кафедрой, академик РАН и РАО, профессор, д. ф.-м. н.

Вне штата. Методист Центра педагогического мастерства, к. ф.-м. н.

Инженер 2 категории кафедры, Преподаватель кафедры теоретической и прикладной лингвистики МГУ, доцент кафедры алгоритмов и технологий программирования МФТИ, к. ф.-м. н.

Сотрудник кафедры до 2001 года. Ведущий исследователь Национального центра научных исследований Франции (Directeur de Recherche, CNRS), к. ф.-м. н.

Профессор кафедры, главный научный сотрудник лаборатории алгебры и теории чисел ИППИ РАН, д. ф.-м. н.

Доцент кафедры, к. ф.-м. н.