Про знаменитості
Йосип Сіфакіс: біографія
-
французький учений грецького походження в області теорії обчислювальних систем, лауреат премії Тьюрінга
Біографія
Сіфакіс народився в 1946 році в Іракліоні, адміністративному центрі грецького острова Криту. Отримав електротехнічне освіту в Афінському національному технічному університеті, потім переїхав до Франції, де вчився на факультеті інформатики університету Жозефа Фур'є, отримуючи стипендію, і придбав ступінь доктора наук. У 1976 році прийняв французьке громадянство. В даний час Сіфакіс працює в дослідницькій лабораторії VERIMAG при Національному центрі наукових досліджень Франції недалеко від Гренобля, яку він заснував і якою керував з 1993 по 2006 рік.
Нагороджений у 2007 році разом з Едмундом Кларком і Аллен му Емерсоном премією Тюрінга за внесок у розвиток теорії перевірки моделей.
Нагороди
- 2007 - Премія Тюрінга разом з Кларком і Емерсономза їх роль у розвитку перевірки моделей - високо ефективну техніку верифікації програм, що широко застосовується при розробці як програмного так і апаратного забезпечення
