Иосиф Сифакис (, ; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.
Член Французской академии наук (2011)Joseph Sifakis , иностранный член Китайской академии наук (2019)关于公布2019年中国科学院院士增选当选院士名单的公告 , 22 ноября 2019.
Биография Сифакис родился в 1946 году в Ираклионе, административном центре греческого острова Крита. Получил электротехническое образование в Афинском национальном техническом университете, затем переехал во Францию, где учился на факультете информатики университета Жозефа Фурье, получая стипендию, и приобрёл степень доктора наук. В 1976 году принял французское гражданство. В настоящее время Сифакис работает в исследовательской лаборатории VERIMAG при Национальном центре научных исследований Франции недалеко от Гренобля, которую он основал и которой руководил с 1993 по 2006 год.
Награждён в 2007 году вместе с Эдмундом Кларком и Алленом Эмерсоном премией Тьюринга за вклад в развитие теории проверки моделей.
Награды 2001 — Серебряная медаль Национального центра научных исследований 2007 — Премия Тьюринга вместе с Кларком и Эмерсоном за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспеченияACM Award Citation / Joseph Sifakis
См. также Кларк, Эдмунд Мельсон Эмерсон, Эрнест Аллен Проверка моделей Примечания
Ссылки Страница Иосифа Сифакиса на сайте VERIMAG
Категория:Учёные в области информатики Франции Категория:Учёные Греции Категория:Выпускники Афинского политехнического университета Категория:Выпускники Университета Жозефа Фурье Категория:Выпускники Университета Гренобль-Альпы Категория:Учёные в области информатики Греции Категория:Члены Французской академии наук Категория:Иностранные члены Китайской академии наук Категория:Иммигрировавшие во Францию из Греции Категория:Преподаватели Федеральной политехнической школы Лозанны