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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Йосиф Сіфакіс
Ιωσήφ Σηφάκης
Joseph Sifakis mg 4603.jpg
Народився 26 грудня 1946(1946-12-26)[1] (72 роки)
Іракліон, Греція
Громадянство Франція Франція (з 1976)
Діяльність інформатик, інженер
Alma mater Афінський національний технічний університет, Університет Жозефа Фур'є
Сфера інтересів інформатика
Заклад Національний центр наукових досліджень
Посада Director of Research at CNRS[d]
Член Європейська академія[2], French Academy of Technologies[d], Американська академія мистецтв і наук, Національна інженерна академія США[d] і Французька академія наук
Відомий завдяки: перевірка моделей
Нагороди Премія Тюрінга (2007)
Особ. сторінка www-verimag.imag.fr/~sifakis/

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

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

Біографія[ред. | ред. код]

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

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

Нагороди[ред. | ред. код]

Примітки[ред. | ред. код]

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

Див. також[ред. | ред. код]

Посилання[ред. | ред. код]