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