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

Йосиф Сіфакіс
Ιωσήφ Σηφάκης
Народився 26 грудня 1946(1946-12-26)[1] (75 років)
Іракліон
Країна  Франція (з 1976)
Діяльність інформатик, інженер
Alma mater Афінський національний технічний університет, Університет Жозефа Фур'є
Галузь інформатика
Заклад Національний центр наукових досліджень
Посада Науковий керівник CNRSd
Науковий керівник Louis Bollietd[2]
Аспіранти, докторанти Stavros Tripakisd[2], Hubert Garaveld[2] і Sergio Yovined[2]
Членство Європейська академія[3], French Academy of Technologiesd, Американська академія мистецтв і наук, Національна інженерна академія США і Французька академія наук
Відомий завдяки: перевірка моделей
Нагороди Премія Тюрінга (2007)
Особ. сторінка www-verimag.imag.fr/~sifakis/
 Йосиф Сіфакіс у Вікісховищі

Йосиф Сіфакіс (грец. Ιωσήφ Σηφάκης, фр. Joseph Sifakis, 1946 рік, Іракліон, Греція) — французький вчений грецького походження в області теорії обчислювальних систем, лауреат премії Тюрінга.

Біографія

Сіфакіс народився 1946 року в Іракліоні, адміністративному центрі грецького острова Крит. Отримав електротехнічну освіту в Афінському національному технічному університеті, потім переїхав до Франції, де навчався на факультеті інформатики університету Жозефа Фур'є, отримуючи стипендію, і одержав ступінь доктора наук. 1976 року прийняв французьке громадянство. В наш час[коли?] Сіфакіс працює у дослідницькій лабораторії VERIMAG при Національному центрі наукових досліджень Франції недалеко від Гренобля, яку він заснував і якою керував із 1993 по 2006 рік.

Нагороджений 2007 року разом із Едмундом Кларком та Алленом Емерсоном премією Тюрінга за внесок у розвиток теорії перевірки моделей.

Нагороди

Примітки
  1. Czech National Authority Database
  2. Математична генеалогія — 1997.
  3. https://www.ae-info.org/ae/User/Sifakis_Joseph
  4. Архівована копія. Архів оригіналу за 21 лютого 2009. Процитовано 21 січня 2010.
  5. Архівована копія. Архів оригіналу за 27 червня 2009. Процитовано 21 січня 2010.

Див. також

Посилання
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.