ПОМИ РАН
Академик Российской академии наук, доктор физико-математических наук, член экспертной комиссии РСОШ по математике
| Course | Semester |
|---|---|
| Tarski's Algorithm | autumn 2017 |
| What can be done with real numbers and cannot be done with integers | autumn 2013 |
| Hilbert's tenth problem. Solution and applications in Computer Science | spring 2010 |
| Tarski's Algorithm | autumn 2008 |
