Йосиф Сіфакіс
Йосиф Сіфакіс | |
---|---|
Ιωσήφ Σηφάκης | |
Народився | 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 (англ.)