ПОМИ РАН, СПбГУ
Доктор физико-математических наук. Заведующий лаборатории математической логики ПОМИ РАН, профессор СПбГУ.
Научные интересы: сложность вычислений и доказательств.
Личная страница: http://logic.pdmi.ras.ru/~hirsch/
| Course | Semester |
|---|---|
| The computational complexity and foundations of cryptography | spring 2012 |
| Proof complexity | autumn 2010 |
| Structural Complexity Theory | autumn 2008 |
| Cryptography | spring 2008 |
