Домашняя страница исследователя: http://logic.pdmi.ras.ru/~hirsch/
Список научных работ исследователя на DBLP
Ученая степень: доктор наук
Научные интересы: теория доказательств, теория сложности.
Исследовательские центры:
Дополнительная информация об исследователе:
Кроме научных публикаций, на домашней странице можно найти программную реализацию алгоритма решения SAT, страницу анонса тематики еженедельного семинара по дискретной математике, сервис для поиска научных статей по теории сложности, материалы курсов по алгоритмике и структурной теории сложности.