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

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

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

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

Биография

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

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

Награды

См. также

Примечания
  1. Математическая генеалогия (англ.) — 1997.
  2. Joseph Sifakis (фр.)
  3. 关于公布2019年中国科学院院士增选当选院士名单的公告, 22 ноября 2019 (кит.)
  4. 约瑟夫·希发基思（Joseph Sifakis）  (кит.). 中国科学院院士.
  5. Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента (недоступная ссылка). Дата обращения: 20 февраля 2009. Архивировано 21 февраля 2009 года.
  6. ACM Award Citation / Joseph Sifakis Архивировано 27 июня 2009 года.

Ссылки
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.