Состав Академии

Родился 16 февраля 1963 года.

Член Национального Комитета Математиков России.
Член Европейской Академии.

Член-корреспондент РАН c 26.05.2000. Отделение математических наук.

Научные интересы

Теоретическая информатика, дискретная математика, комбинаторная теория групп.

Описание множества решений произвольной системы уравнений в свободной группе.

Нижние оценки размера монотонных булевых схем и размера схем ограниченной глубины в полном базисе с функцией логического сложения.
Теория «естественных доказательств».
Нижние оценки в теории сложности доказательств.
Нижние оценки в теории квантовой коммуникационной сложности.
Создание теории алгебры флагов и решение на её основе задачи об определении минимально возможного числа треугольников в графе.

Премии и награды

• Премия им. Неванлинны Международного математического союза, 1990 г.
• Премия им. Геделя, 2007 г.
• Премия им. Роббинса Американского математического общества, 2013 г.

Место работы и должность

Федеральное государственное бюджетное учреждение науки Математический институт им. В. А. Стеклова Российской академии наук, главный научный сотрудник.