Сифакис, Иосиф

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Иосиф Сифакис
Ιωσήφ Σηφάκης
Joseph Sifakis mg 4603.jpg
Дата рождения 1946(1946)
Место рождения Ираклион, Греция
Страна Flag of Greece.svg Греция
Flag of France.svg Франция (с 1976)
Научная сфера Информатика
Место работы Национальный центр научных исследований
Альма-матер Афинский национальный технический университет, Университет Жозефа Фурье
Известен как Проверка моделей
Награды и премии Премия Тьюринга
Сайт www-verimag.imag.fr/~sif…
Commons-logo.svg Иосиф Сифакис на Викискладе

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

Биография[править | править код]

Сифакис родился в 1946 году в Ираклионе, административном центре греческого острова Крита. Получил электротехническое образование в Афинском национальном техническом университете, затем переехал во Францию, где учился на факультете информатики университета Жозефа Фурье, получая стипендию, и приобрёл степень доктора наук. В 1976 году принял французское гражданство. В настоящее время Сифакис работает в исследовательской лаборатории VERIMAG при Национальном центре научных исследований Франции недалеко от Гренобля, которую он основал и которой руководил с 1993 по 2006 год.

Награждён в 2007 году вместе с Эдмундом Кларком и Аллен‎ом Эмерсоном премией Тьюринга за вклад в развитие теории проверки моделей.

Награды[править | править код]

Примечания[править | править код]

См. также[править | править код]

Ссылки[править | править код]