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

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

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