Афины
Аттика
Центральная Греция
Центральная Македония
Крит
Вост. Македония и Фракия
Эпир
Ионические острова
Северные Эгейские острова
Пелопоннес
Южные Эгейские острова
Фессалия
Западная Греция
Западная Македония
Айон-Орос
Иосиф Сифакис
Иосиф Сифакис

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

Иосиф Сифакис
 Города
 Достопримечательности
 Храмы и монастыри
 Музеи Греции
 Сады и парки
 Информация для туриста
 Знаменитости

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

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

Иосиф Сифакис (род. 1946 год, Ираклион, Греция) - французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.

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

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