Сифакис, Иосиф
Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.
Иосиф Сифакис | |
---|---|
греч. Ιωσήφ Σηφάκης | |
![]() | |
Дата рождения | 1946 |
Место рождения | Ираклион, Греция |
Страна | ![]() ![]() |
Род деятельности | специалист в области информатики, инженер, исследователь |
Научная сфера | информатика |
Место работы | Национальный центр научных исследований |
Альма-матер | Афинский национальный технический университет, Университет Жозефа Фурье |
Научный руководитель | Louis Bolliet[вд][1] и Жан Кунцман[вд][2] |
Известен как | проверка моделей |
Награды и премии | премия Тьюринга |
Сайт | www-verimag.imag.fr/~sif… |
![]() |
Член Французской академии наук (2011)[3], иностранный член Китайской академии наук (2019)[4][5].
Биография
Сифакис родился в 1946 году в Ираклионе, административном центре греческого острова Крита. Получил электротехническое образование в Афинском национальном техническом университете, затем переехал во Францию, где учился на факультете информатики университета Жозефа Фурье, получая стипендию, и приобрёл степень доктора наук. В 1976 году принял французское гражданство. В настоящее время Сифакис работает в исследовательской лаборатории VERIMAG при Национальном центре научных исследований Франции недалеко от Гренобля, которую он основал и которой руководил с 1993 по 2006 год.
Награждён в 2007 году вместе с Эдмундом Кларком и Алленом Эмерсоном премией Тьюринга за вклад в развитие теории проверки моделей.
Награды
- 2001 — Серебряная медаль Национального центра научных исследований
- 2007 — Премия Тьюринга вместе с Кларком и Эмерсоном за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[6][7]
См. также
Примечания
Ссылки
- Страница Иосифа Сифакиса на сайте VERIMAG (англ.)
На Викискладе есть медиафайлы по теме Иосиф Сифакис