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 |