ИСИ СО РАН, НГУ
Профессор кафедры ДМИ НГУ
Главный научный сотрудник лаборатории теоретического программирования Института Систем Информатики имени А.П. Ершова СО РАН.
| Курс | Семестр |
|---|---|
| Вычисления с бесконечными данными | осень 2020 |
| Основы теории вычислимости и сложность вычислений | весна 2018 |
