Надо Знать

добавить знаний



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


Joseph Sifakis mg 4603.jpg

План:


Введение

Иосиф Сифакис
Joseph Sifakis mg 4603.jpg
Родился 1946 ( 1946 )
Греция Греция, Ираклион
Гражданство Франция Франция (с 1976)
Область научных интересов Информатика
Заведение Национальный центр научных исследований
Alma mater Афинский национальный технический университет, Университет Жозефа Фурье
Награды Премия Тьюринга (2007)
Лиц. страница http://www-verimag.imag.fr/ ~ sifakis /

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


1. Биография

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

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


2. Награды

Примечания

  1. http://science.compulenta.ru/347274/ - science.compulenta.ru/347274 /
  2. http://awards.acm.org/citation.cfm?id=1701095&srt=all&aw=140&ao=AMTURING - awards.acm.org / citation.cfm? id = 1701095 & srt = all & aw = 140 & ao = AMTURING

См.. также

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

код для вставки
Данный текст может содержать ошибки.

скачать

© Надо Знать
написать нам