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