JetBrains, СПбГУ
Сотрудник компании JetBrains, преподаватель факультета математики и компьютерных наук СПбГУ, член наблюдательного комитета компилятора GHC (Glasgow Haskell Compiler) и комитета по стандартизации языка Haskell, автор книги Haskell in Depth (Manning Publications).
| Курс | Семестр |
|---|---|
| Вывод типов от Хиндли — Милнера до GHC 8.8 | весна 2019 |
| Компилятор GHC языка Haskell: теория языков программирования в работе | весна 2018 |
| Программирование с зависимыми типами на языке Idris | весна 2017 |
