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

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

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

Направления работы

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

Важнейшие результаты

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

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

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