Санкт-Петербург, 199178, Россия, 14-ая линия Васильевского острова, дом 29
(812) 363-68-71, (812) 363-68-72
ru

Новости

16.11.2020

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

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

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

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

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

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