Летний лекторий корпоративной магистерской программы JetBrains
С 9 по 20 июля очно в Петербурге и онлайн.
Летний лекторий корпоративной магистерской программы JetBrains
С 9 по 20 июля выпускники, преподаватели и друзья корпоративной магистерской программы JetBrains «Разработка программного обеспечения» провели летний лекторий.

Спикеры прочли четыре лекции по направлениям обучения магистратуры:

  • теория языков программирования,

  • машинное обучение,

  • биоинформатика и системная биология,

  • технологии промышленного программирования.

Расписание лекций
9 июля 17:00
9 июля 17:00
Property-based testing в Haskell
Дмитрий Халанский, разработчик в Kotlin Libraries JetBrains. Выпускник программы 2019 года, преподаватель математической логики, теории формальных языков и функционального программирования.
Property-based testing — подход к тестированию программ, предполагающий, что программист описывает не тестовые сценарии, как это делается обычно, а свойства, которым должны удовлетворять функции. Мы рассмотрим примеры тестов, написанных в property-based-стиле, поглядим на библиотеки для языка Haskell, а также поспекулируем, почему именно экосистема функционального программирования первой открыла этот подход.
13 июля 17:00
13 июля 17:00
Зачем вся эта алгебра программисту или кое-что о математике в кино
Роман Белов, разработчик в Kotlin for Data Science JetBrains, CEO в KeenTools.
Классическое компьютерное 3D-зрение — интересная дисциплина на стыке сложных алгоритмов, датасайнса и сложной математики. Мы посмотрим, какие задачи решаются в этой области, как они формулируются, какие есть подходы к их решению, и самое главное – кому и зачем все это надо.
16 июля 17:00
16 июля 17:00
Love, death and bioinformatics: как машины собирают геномы, придумывают лекарства и борются со старением
Елена Картышева, исследователь в лаборатории Machine Learning Applications and Deep Learning JetBrains Research. Выпускница программы 2021 года, выпускница и преподаватель Института Биоинформатики.
За последние десятилетия биология очень сильно изменилась: теперь большое количество экспериментов проводится не только в лабораториях, но и на компьютерах. Многие выдумки из научной фантастики, вроде редактирования генома, стали реальностью. Лекция будет посвящена обзору задач, которыми занимается биоинформатика. Подробнее поговорим про те из них, что решаются методами машинного обучения.
20 июля 17:00
20 июля 17:00
Как сделать коллаборативные инструменты разработки ПО умнее с помощью анализа данных (лекция пройдет только в онлайн-формате)
Владимир Коваленко, руководитель Intelligent Collaboration Tools Lab JetBrains Research.
Представьте себе программиста за работой. Что открыто у него на экране? Большая часть людей в этот момент представляет себе редактор с кодом. Однако написанию и отладке кода разработчики посвящают в среднем меньше половины рабочего времени. Сравнимое время уходит на взаимодействие с коллегами.Львиная доля коммуникации с коллегами происходит с помощью специальных инструментов: баг-трекеров, мессенджеров и систем для код-ревью. На фоне умных IDE эти инструменты устроены сравнительно просто, но имеют огромный потенциал для развития, в том числе благодаря тому, что в них хранится вся история совместной работы команд.На этой лекции мы поговорим, как именно исследователи учат коллаборативные инструменты извлекать полезную информацию из исторических данных и помогать людям эффективнее работать вместе.