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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Йосиф Сіфакіс
Joseph Sifakis mg 4603.jpg
Народився 1946
Греція Греція, Іракліон
Громадянство Франція Франція (з 1976)
Галузь наукових інтересів Інформатика
Заклад Національний центр наукових досліджень
Alma mater Афінський національний технічний університет, Університет Жозефа Фур'є
Нагороди Премія Тюрінга (2007)
Особ. сторінка http://www-verimag.imag.fr/~sifakis/

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

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

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

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

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

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

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

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