Advanced Study институт науки НАТО ради мира и безопасности

Advanced Study институт науки НАТО ради мира и безопасности

 

Проверка и синтез
правильных и безопасных систем

 

4 августа в 16 августа 2015

Академические директора

О. Grumberg
J. Esparza


Исполнительный Директор

Катарина Шпионы

 

Цель

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

Без рубрики