Виталий Николаевич Брагилевский, автор книги «Haskell in Depth». Входит в комитет по стандартизации языка программирования Haskell и наблюдательный комитет по разработке компилятора GHC языка Haskell. Работает в JetBrains.
Научные интересы: теория языков программирования, верификация программного обеспечения.
В этом учебном году читает курсы «Основы программирования» и «Математическая логика в информатике».
Примеры лекций:
Курс «Вывод типов от Хиндли-Милнера до GHC 8.8» в Computer Science клубе https://www.youtube.com/playlist?list=PL-_cKNuVAYAUv-..
На видео Виталий рассказывает о том, какие языки программирования изучают первокурсники МКН и почему.