Сифакис, Иосиф
Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.
| Иосиф Сифакис | |
|---|---|
| греч. Ιωσήφ Σηφάκης | |
 | |
| Дата рождения | 1946 |
| Место рождения | Ираклион, Греция |
| Страна |
 Греция  Франция (с 1976) |
| Род деятельности | специалист в области информатики, инженер, исследователь |
| Научная сфера | информатика |
| Место работы | Национальный центр научных исследований |
| Альма-матер | Афинский национальный технический университет, Университет Жозефа Фурье |
| Научный руководитель | Louis Bolliet[вд][1] и Жан Кунцман[вд][2] |
| Известен как | проверка моделей |
| Награды и премии | премия Тьюринга |
| Сайт | www-verimag.imag.fr/~sif… |
 Медиафайлы на Викискладе | |
Член Французской академии наук (2011)[3], иностранный член Китайской академии наук (2019)[4][5].
Биография
правитьСифакис родился в 1946 году в Ираклионе, административном центре греческого острова Крита. Получил электротехническое образование в Афинском национальном техническом университете, затем переехал во Францию, где учился на факультете информатики университета Жозефа Фурье, получая стипендию, и приобрёл степень доктора наук. В 1976 году принял французское гражданство. В настоящее время Сифакис работает в исследовательской лаборатории VERIMAG при Национальном центре научных исследований Франции недалеко от Гренобля, которую он основал и которой руководил с 1993 по 2006 год.
Награждён в 2007 году вместе с Эдмундом Кларком и Алленом Эмерсоном премией Тьюринга за вклад в развитие теории проверки моделей.
Награды
править- 2001 — Серебряная медаль Национального центра научных исследований
- 2007 — Премия Тьюринга вместе с Кларком и Эмерсоном за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[6][7]
См. также
правитьПримечания
править- ↑ Mathematics Genealogy Project (англ.) — 1997.
- ↑ http://tel.archives-ouvertes.fr/tel-00010517
- ↑ Joseph Sifakis Архивная копия от 4 сентября 2019 на Wayback Machine (фр.)
- ↑ 关于公布2019年中国科学院院士增选当选院士名单的公告 Архивная копия от 21 мая 2020 на Wayback Machine, 22 ноября 2019 (кит.)
- ↑ 约瑟夫·希发基思（Joseph Sifakis） (кит.). 中国科学院院士.
- ↑ Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента. Дата обращения: 20 февраля 2009. Архивировано из оригинала 21 февраля 2009 года.
- ↑ ACM Award Citation / Joseph Sifakis Архивировано 27 июня 2009 года.
Ссылки
править- Страница Иосифа Сифакиса на сайте VERIMAG (англ.)
На Викискладе есть медиафайлы по теме Иосиф Сифакис
