ПОМИ РАН, СПбАУ РАН
Кандидат физико-математических наук, старший научный сотрудник лаборатории математической логики ПОМИ РАН, преподаватель в Академическом университете.
Личная страница: http://logic.pdmi.ras.ru/~dmitrits/
Научные интересы: сложность вычислений, математическая логика, криптография, сложность доказательств.
Course | Semester |
---|---|
Introduction to Theoretical Computer Science | autumn 2020 |
Propositional proof complexity | autumn 2019 |