Семинары в Тулузе и Лулео

Семинары в Тулузе и Лулео

Лето всегда приятно начинать с путешествий! Особенно в компании увлеченных наукой умов.

Владимир Ульянцев, руководитель группы "Проблемы оптимизации в программной инженерии", был приглашен сделать доклад и поучаствовать в серии семинаров в Исследовательский Институт Информатики Тулузы (IRIT CNRS). Владимир презентовал исследования группы в области синтеза конечно-автоматных моделей программного обеспечения, обсудил с исследователями их текущие задачи дискретной оптимизации.

Сделав дневную остановку в Петербурге, Владимир с Даниилом Чивилихиным отправились в Технический Университет Лулео (Luleå tekniska universitet), Швеция. Совместно с исследователями группы Валерия Вяткина и профессором Roopak Sinha (Auckland University of Technology, New Zealand) была проведена совместная летняя школа по формальным методам проектирования киберфизических систем. Школа была проведена по программе Erasmus+. Обсуждались вопросы синтеза моделей систем, формализации метрики сложности системы контроллеров, была посещена лаборатория с физической моделью распределенной фабрики. Все прошло здорово и продуктивно, впечатлил кампус небольшого, но современного Университета!

59636f80c1f6b.png

59636f92bfc5a.png

59636f8a49266.png