|
Весной 2016 года просеминар проходил по пятницам в 16:20 в аудитории 508.
Темы докладов:
|
11 марта слайды
|
Олег Борисенко — проекты OpenStack, Sahara, Keystone, работы ИСП РАН в разработке— технологий распределенной обработки информации.
|
18 марта слайды
|
Александр Камкин — верификация моделей микропроцессоров.
|
25 марта слайды
|
Дмитрий Мельник — компиляторные технологии, оптимизация в компиляторах.
|
1 апреля
|
Андрей Белеванцев — анализ исходного кода, поиск ошибок и разбор архитектуры программы.
|
8 апреля слайды
|
Денис Турдаков — машинное обучение для анализа текстов и социальных сетей.
|
|