Йосиф Сіфакіс
| Йосиф Сіфакіс | |
|---|---|
| Ιωσήφ Σηφάκης | |
 | |
| Народився |
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 Американська академія мистецтв і наук Національна інженерна академія США Французька академія наук |
| Відомий завдяки: | перевірка моделей |
| Нагороди | Премія Тюрінга (2007) |
| Особ. сторінка | www-verimag.imag.fr/~sifakis/ |
 Йосиф Сіфакіс у Вікісховищі | |
Йосиф Сіфакіс (грец. Ιωσήφ Σηφάκης, фр. Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга.
Біографія[ред. | ред. код]
Сіфакіс народився 1946 року в Іракліоні, адміністративному центрі грецького острова Крит. Отримав електротехнічну освіту в Афінському національному технічному університеті, потім переїхав до Франції, де навчався на факультеті інформатики університету Жозефа Фур'є, отримуючи стипендію, і одержав ступінь доктора наук. 1976 року прийняв французьке громадянство. В наш час[коли?] Сіфакіс працює у дослідницькій лабораторії VERIMAG при Національному центрі наукових досліджень Франції недалеко від Гренобля, яку він заснував і якою керував із 1993 по 2006 рік.
Нагороджений 2007 року разом із Едмундом Кларком та Алленом Емерсоном премією Тюрінга за внесок у розвиток теорії перевірки моделей.
Нагороди[ред. | ред. код]
- 2007 — Премія Тюрінга разом із Кларком та Емерсоном за їхню роль у розвитку перевірки моделей — високоефективної техніки верифікації програм, що широко застосовується при розробці як програмного, так і апаратного забезпечення.[9][10]
Примітки[ред. | ред. код]
- ↑ 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
- ↑ Архівована копія. Архів оригіналу за 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 (англ.)