Проверка и синтез правильных и безопасных систем
Академические директора
О. Grumberg
J. Esparza
Исполнительный Директор
Катарина Шпионы
Цель
Летняя школа Marktoberdorf курсов двух недель для молодых ученых компьютерных и математиков, работающих по формальным подходам к правильности и безопасности программных систем. В последние годы рядовые граждане стали ежедневных пользователей интернет-банкинга, социальных сетей и облачных сервисов. Предотвращение неисправности этих услуг, а также защиту целостности конфиденциальных данных от кибер-атак стала одной из главных задач общества в целом. Компьютерная наука не только отвечает за разработку новых технологий и систем для решения этой проблемы, но и их научные основы. В течение последних десятилетий были разработаны компьютерные ученые, и продолжает развиваться, теорию формальной верификации: тело методологий, алгоритмов и программных средств для поиска ошибок или угроз безопасности в существующем программном обеспечении, или для обеспечения, с строгостью математического доказательства , что они не существуют. Цель школы, чтобы представить последние достижения в этой области. Курс разработан, чтобы дать углубленные презентации государством в самых современных тем в области исследований и производственной практики. Наша задача заключается в содействии международных контактов и сотрудничества и объединиться ведущих исследователей и молодых ученых, основанные на отличном сетей в качестве ASI-летней школы Marktoberdorf .