Russia, 199178, St. Petersburg, 14 line V.O., 29B
+7 (812) 363-62-32
ru en

Новости

16.11.2020

Видео знакомства с преподавателями факультета МКН. Виталий Николаевич Брагилевский

Виталий Николаевич Брагилевский, автор книги «Haskell in Depth». Входит в комитет по стандартизации языка программирования Haskell и наблюдательный комитет по разработке компилятора GHC языка Haskell. Работает в JetBrains.

Научные интересы: теория языков программирования, верификация программного обеспечения.

В этом учебном году читает курсы «Основы программирования» и «Математическая логика в информатике».

Примеры лекций:
Курс «Вывод типов от Хиндли-Милнера до GHC 8.8» в Computer Science клубе https://www.youtube.com/playlist?list=PL-_cKNuVAYAUv-..

На видео Виталий рассказывает о том, какие языки программирования изучают первокурсники МКН и почему.