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

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

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

Содержание

Биография

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

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

Награды

Примечания

См. также

Ссылки