JetBrains, СПбГУ
Сотрудник компании JetBrains, преподаватель факультета математики и компьютерных наук СПбГУ, член наблюдательного комитета компилятора GHC (Glasgow Haskell Compiler) и комитета по стандартизации языка Haskell, автор книги Haskell in Depth (Manning Publications).
| Course | Semester |
|---|---|
| Type inference from Hindley-Milner to GHC 8.8 | spring 2019 |
| The Glasgow Haskell Compiler: theory of programming languages at work | spring 2018 |
| Programming with Dependent Types in Idris | spring 2017 |