Оглавление
Джозеф Сифакис
-
Биография и образование
- Джозеф Сифакис родился в Ираклионе, Крит, в 1946 году.
- Изучал электротехнику в Национальном техническом университете Афин и компьютерные науки в Университете Гренобля.
- Получил докторскую степень по инженерным наукам в Гренобльском университете в 1974 году.
-
Карьера и достижения
- Основал компанию VERIMAG вместе с Эдмундом М. Кларк и Амиром Пнуэли.
- Был директором VERIMAG в течение четырнадцати лет.
- Работал над системной верификацией и формальными методами проектирования систем.
- Разработал метод проверки моделей, примененный в докторской диссертации Жан-Пьера Кейля.
- Участвовал в разработке инструментов верификации, включая IF toolset, Kronos, CADP и TGV.
- Разработал теорию для обработки взрывоопасных состояний с использованием методов абстракции.
-
Награды и признание
- Получил премию Тьюринга в 2007 году.
- Награжден медалью Леонардо да Винчи в 2012 году.
- Великий офицер Национального ордена “За заслуги” Франции в 2008 году.
- Кавалер ордена Почетного легиона Франции в 2011 году.
- Член Французской академии наук, Европейской академии, Французской инженерной академии, Американской академии искусств и наук, Национальной инженерной академии и Иностранный член Китайской академии наук.
-
Текущие проекты
- Работает над разработкой надежных автономных систем, в частности самоуправляемых автомобилей.