Сифакис, Иосиф

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Иосиф Сифакис
греч. Ιωσήφ Σηφάκης
Дата рождения 1946(1946)
Место рождения Ираклион, Греция
Страна  Греция
 Франция (с 1976)
Род деятельности специалист в области информатики, инженер, исследователь
Научная сфера информатика
Место работы Национальный центр научных исследований
Альма-матер Афинский национальный технический университет, Университет Жозефа Фурье
Научный руководитель Louis Bolliet[вд][1] и Жан Кунцман[вд][2]
Известен как проверка моделей
Награды и премии премия Тьюринга
Сайт www-verimag.imag.fr/~sif…
Логотип Викисклада Медиафайлы на Викискладе

Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.

Член Французской академии наук (2011)[3], иностранный член Китайской академии наук (2019)[4][5].

Сифакис родился в 1946 году в Ираклионе, административном центре греческого острова Крита. Получил электротехническое образование в Афинском национальном техническом университете, затем переехал во Францию, где учился на факультете информатики университета Жозефа Фурье, получая стипендию, и приобрёл степень доктора наук. В 1976 году принял французское гражданство. В настоящее время Сифакис работает в исследовательской лаборатории VERIMAG при Национальном центре научных исследований Франции недалеко от Гренобля, которую он основал и которой руководил с 1993 по 2006 год.

Награждён в 2007 году вместе с Эдмундом Кларком и Алленом Эмерсоном премией Тьюринга за вклад в развитие теории проверки моделей.

Примечания

[править | править код]