Доктор физико-математических наук. Заведующий лаборатории математической логики ПОМИ РАН, профессор СПбГУ.

Научные интересы: сложность вычислений и доказательств.

Личная страница: http://logic.pdmi.ras.ru/~hirsch/