- E-mail:
- Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript
- Personal page in Russian:
- https://sfedu.ru/person/2733
- Personal page in English:
- https://sfedu.ru/en/person/2733
Vitaly Bragilevsky
Research interests:
- Programming languages theory
- Formal methods in programming
- Functional programming languages (Haskell, Idris)
Research projects:
Book: Haskell in Depth (Manning Publications).
Courses outside SFedU:
- The type theory behind the Glasgow Haskell Compiler internals (LambdaConf 2018, Boulder, CO, USA)
- The Glasgow Haskell Compiler: theory of programming languages at work (in Russian, CS Club, Saint-Petersburg, 2018)
- Functional programming with dependent types in Idris (in Russian, CS HSE, Moscow, 2017)
- Curry—Howard correspondence: from mathematical logic to programming and back again (in Russian, Summer School on Contemporary Mathematics, Dubna, 2017)
- Programming with dependent types in Idris (in Russian, CS Club, Saint-Petersburg, 2017)
Teaching:
- Functional Programming (Haskell)
- Theory of Computation
- Data Visualization
- Theory of programming languages