ПОМИ РАН, СПбАУ РАН
Кандидат физико-математических наук, старший научный сотрудник лаборатории математической логики ПОМИ РАН, преподаватель в Академическом университете.
Личная страница: http://logic.pdmi.ras.ru/~dmitrits/
Научные интересы: сложность вычислений, математическая логика, криптография, сложность доказательств.
| Курс | Семестр |
|---|---|
| Теория сложности вычислений | осень 2021 |
| Обзорный курс по теоретической информатике | осень 2020 |
| Сложность пропозициональных доказательств | осень 2017 |
| Обзорный курс по теоретической информатике | осень 2016 |
| Теоретико-сложностные основы криптографии | весна 2016 |
| Вероятностные методы в вычислениях | весна 2015 |
| Основы вычислимости и теории сложности | осень 2014 |
| Обзорный курс по теоретической информатике | осень 2013 |
| Сложность вычислений и основы криптографии | весна 2013 |
| Вероятностно проверяемые доказательства | осень 2012 |
| Основы вычислимости и теории сложности | осень 2012 |
| Вероятностные методы в вычислениях | весна 2012 |
| Вычислимость и логика | осень 2011 |
| Математические основы Computer Science | осень 2009 |
| Вычислительно трудные задачи и дерандомизация | весна 2009 |
| Вводный курс | осень 2008 |
| Вводный курс | осень 2007 |
