ПОМИ РАН
Академик Российской академии наук, доктор физико-математических наук, член экспертной комиссии РСОШ по математике
| Курс | Семестр |
|---|---|
| Алгоритм Тарского | осень 2008 |
| Десятая проблема Гильберта. Решение и применения в информатике | весна 2010 |
| Что можно делать с вещественными числами и нельзя с целыми | осень 2013 |
| Алгоритм Тарского | осень 2017 |
