Йосиф Сіфакіс

дослідник
Немає перевірених версій цієї сторінки; ймовірно, її ще не перевіряли на відповідність правилам проекту.

Йосиф Сіфакіс
Ιωσήφ Σηφάκης
Народився26 грудня 1946(1946-12-26)[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 року разом із Едмундом Кларком та Алленом Емерсоном премією Тюрінга за внесок у розвиток теорії перевірки моделей.

Нагороди

ред.

Примітки

ред.
  1. Czech National Authority Database
  2. Who's Who in FranceParis: 1953. — ISSN 0083-9531; 2275-0908
  3. а б в г Математичний генеалогічний проєкт — 1997.
  4. http://tel.archives-ouvertes.fr/tel-00010517
  5. https://www.theses.fr/1988INPG0034
  6. https://www.theses.fr/1998GRE10267
  7. https://www.theses.fr/2010GRENM062
  8. https://www.ae-info.org/ae/User/Sifakis_Joseph
  9. https://www.nasonline.org/news-and-multimedia/news/2024-nas-election.html
  10. https://www.acm.org/media-center/2012/december/acm-fellows-named-for-computing-innovations-that-advance-technologies-in-information-age
  11. Архівована копія. Архів оригіналу за 21 лютого 2009. Процитовано 21 січня 2010.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)
  12. Архівована копія. Архів оригіналу за 27 червня 2009. Процитовано 21 січня 2010.{{cite web}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title (посилання)

Див. також

ред.

Посилання

ред.