WikiSort.ru - Не сортированное

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

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

Биография

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

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

Награды

• 2001 — Серебряная медаль Национального центра научных исследований
• 2007 — Премия Тьюринга вместе с Кларком и Эмерсоном за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения^[1][2]

Примечания

См. также

• Кларк, Эдмунд Мельсон
• Эмерсон, Эрнест Аллен
• Проверка моделей

Ссылки

• Страница Иосифа Сифакиса на сайте VERIMAG  (англ.)
• На Викискладе есть медиафайлы по теме Иосиф Сифакис