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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Иосиф Сифакис
Ιωσήφ Σηφάκης
Joseph Sifakis mg 4603.jpg
Дата рождения:

1946({{padleft:1946|4|0}})

Место рождения:

Ираклион, Греция

Страна:

ГрецияFlag of Greece.svg Греция
ФранцияFlag of France.svg Франция (с 1976)

Научная сфера:

Информатика

Место работы:

Национальный центр научных исследований

Альма-матер:

Афинский национальный технический университет, Университет Жозефа Фурье

Известен как:

Проверка моделей

Награды и премии


Премия Тьюринга

Сайт:

http://www-verimag.imag.fr/~sifakis/

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

Биография[править | править исходный текст]

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

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

Награды[править | править исходный текст]

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

См. также[править | править исходный текст]

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