Йосиф Сіфакіс
Ιωσήφ Σηφάκης
Joseph Sifakis mg 4603.jpg
Народився 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/

CMNS: Йосиф Сіфакіс у Вікісховищі

Йосиф Сіфакіс (грец. Ιωσήφ Σηφάκης, фр. 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. 

Див. такожРедагувати

ПосиланняРедагувати