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