Краткие курсы профессоров факультета информатики Университета Лугано, Швейцария
Профессора Университета Лугано представят учебные программы магистерских и PhD программ факультета информатики и прочтут краткие курсы для студентов Санкт-Петербургских вузов по следующим предметам: программный анализ и формальные методы верификации; системы распределенного вычисления и методы их качественной оценки; методы геометрических вычислений и их применения в системах машинного зрения; и параллельные вычисления и численное моделирование.
Все лекции будут прочитаны на английском языке.
