- Сифакис, Иосиф
-
Иосиф Сифакис Ιωσήφ Σηφάκης 
Дата рождения: Место рождения: Страна: Научная сфера: Место работы: Альма-матер: Афинский национальный технический университет, Университет Жозефа Фурье
Известен как: Награды и премии Сайт: Иосиф Сифакис (греч. Ιωσήφ Σηφάκης, фр. Joseph Sifakis; род. 1946 год, Ираклион, Греция) — французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга.
Содержание
Биография
Сифакис родился в 1946 году в Ираклионе, административном центре греческого острова Крита. Получил электротехническое образование в Афинском национальном техническом университете, затем переехал во Францию, где учился на факультете информатики университета Жозефа Фурье, получая стипендию, и приобрёл степень доктора наук. В 1976 году принял французское гражданство. В настоящее время Сифакис работает в исследовательской лаборатории VERIMAG при Национальном центре научных исследований Франции недалеко от Гренобля, которую он основал и которой руководил с 1993 по 2006 год.
Награждён в 2007 году вместе с Эдмундом Кларком и Алленом Эмерсоном премией Тьюринга за вклад в развитие теории проверки моделей.
Награды
- 2007 — Премия Тьюринга вместе с Кларком и Эмерсоном за их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[1][2]
Примечания
См. также
Ссылки
- Страница Иосифа Сифакиса на сайте VERIMAG (англ.)
На Викискладе есть медиафайлы по теме Иосиф Сифакис
Лауреаты премии Тьюринга Перлис (1966) • Уилкс (1967) • Хэмминг (1968) • Минский (1969) • Уилкинсон (1970) • Маккарти (1971) • Дейкстра (1972) • Бахман (1973) • Кнут (1974) • Ньюэлл + Саймон (1975) • Рабин + Скотт (1976) • Бэкус (1977) • Флойд (1978) • Айверсон (1979) • Хоар (1980) • Кодд (1981) • Кук (1982) • Томпсон + Ритчи (1983) • Вирт (1984) • Карп (1985) • Хопкрофт + Тарьян (1986) • Кок (1987) • Сазерленд (1988) • Кэхэн (1989) • Корбато (1990) • Милнер (1991) • Лэмпсон (1992) • Хартманис + Стернс (1993) • Фейгенбаум + Редди (1994) • Блюм (1995) • Пнуели (1996) • Энгельбарт (1997) • Грей (1998) • Брукс (1999) • Яо (2000) • Даль + Нюгорд (2001) • Ривест + Шамир + Адлеман (2002) • Кэй (2003) • Серф + Кан (2004) • Наур (2005) • Аллен (2006) • Кларк + Эмерсон + Сифакис (2007) • Лисков (2008) • Текер (2009) • Вэлиант (2010) • Перл (2011)
Категории:- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся в 1946 году
- Родившиеся в Ираклионе
- Лауреаты премии Тьюринга
- Учёные в области информатики
- Учёные Греции
- Учёные Франции
- Выпускники Афинского национального технического университета
- Выпускники Университета Жозефа Фурье
Wikimedia Foundation. 2010.
