Йосиф Сіфакіс
| Йосиф Сіфакіс | |
|---|---|
| Ιωσήφ Σηφάκης | |
 | |
| Народився | 26 грудня 1946[1] (77 років) Іракліон[2] |
| Країна |  Франція (з 1976) |
| Діяльність | інформатик, інженер, дослідник |
| Alma mater | Афінський національний технічний університет, Університет Жозефа Фур'є |
| Галузь | інформатика |
| Заклад | Національний центр наукових досліджень |
| Посада | Науковий керівник CNRSd |
| Науковий керівник | Louis Bollietd[3] і Jean Kuntzmannd[4] |
| Аспіранти, докторанти | Stavros Tripakisd[3] Hubert Garaveld[3] Sergio Yovined[3] Carlos Crego Rodríguezd[5] Stavros Tripakisd[6] Mohamad Jaberd[7] |
| Членство | Європейська академія[8] French Academy of Technologiesd Американська академія мистецтв і наук Національна інженерна академія США Французька академія наук Національна академія наук США[9] Association for Computing Machinery[10] |
| Відомий завдяки: | перевірка моделей |
| Нагороди | Премія Тюрінга (2007) |
| Особ. сторінка | www-verimag.imag.fr/~sifakis/ |
 Йосиф Сіфакіс у Вікісховищі | |
Йосиф Сіфакіс (грец. Ιωσήφ Σηφάκης, фр. Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга.
Сіфакіс народився 1946 року в Іракліоні, адміністративному центрі грецького острова Крит. Отримав електротехнічну освіту в Афінському національному технічному університеті, потім переїхав до Франції, де навчався на факультеті інформатики університету Жозефа Фур'є, отримуючи стипендію, і одержав ступінь доктора наук. 1976 року прийняв французьке громадянство. В наш час[коли?] Сіфакіс працює у дослідницькій лабораторії VERIMAG при Національному центрі наукових досліджень Франції недалеко від Гренобля, яку він заснував і якою керував із 1993 по 2006 рік.
Нагороджений 2007 року разом із Едмундом Кларком та Алленом Емерсоном премією Тюрінга за внесок у розвиток теорії перевірки моделей.
- 2007 — Премія Тюрінга разом із Кларком та Емерсоном за їхню роль у розвитку перевірки моделей — високоефективної техніки верифікації програм, що широко застосовується при розробці як програмного, так і апаратного забезпечення.[11][12]
- ↑ Czech National Authority Database
- ↑ Who's Who in France — Paris: 1953. — ISSN 0083-9531; 2275-0908
- ↑ а б в г Математичний генеалогічний проєкт — 1997.
- ↑ http://tel.archives-ouvertes.fr/tel-00010517
- ↑ https://www.theses.fr/1988INPG0034
- ↑ https://www.theses.fr/1998GRE10267
- ↑ https://www.theses.fr/2010GRENM062
- ↑ https://www.ae-info.org/ae/User/Sifakis_Joseph
- ↑ https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html
- ↑ https://www.acm.org/media-center/2012/december/acm-fellows-named-for-computing-innovations-that-advance-technologies-in-information-age
- ↑ Архівована копія. Архів оригіналу за 21 лютого 2009. Процитовано 21 січня 2010.
{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання) - ↑ Архівована копія. Архів оригіналу за 27 червня 2009. Процитовано 21 січня 2010.
{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
 |
Вікісховище має мультимедійні дані за темою: Йосиф Сіфакіс |
- Сторінка Йосифа Сіфакіса [Архівовано 26 лютого 2021 у Wayback Machine.] на сайті VERIMAG (англ.)
- Народились 26 грудня
- Народились 1946
- Уродженці Іракліона
- Члени Європейської академії
- Члени Американської академії мистецтв і наук
- Члени Французької академії наук
- Члени і члени-кореспонденти Національної академії наук США
- Лауреати премії Тюрінга
- Вчені в галузі теорії обчислювальних систем
- Грецькі інформатики
- Французькі науковці
- Випускники Афінського технічного університету
- Випускники Університету Жозефа Фур'є