ПОМИ РАН, СПбГУ
Доктор физико-математических наук. Заведующий лаборатории математической логики ПОМИ РАН, профессор СПбГУ.
Научные интересы: сложность вычислений и доказательств.
Личная страница: http://logic.pdmi.ras.ru/~hirsch/
Курс | Семестр |
---|---|
Сложность вычислений и основы криптографии | весна 2012 |