Поделиться:

О знаменитости

Иосиф Сифакис: биография


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

французский учёный греческого происхождения в области теории вычислительных систем, лауреат премии Тьюринга

Биография

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

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

Награды

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

Комментарии

Добавить комментарий
Комментарий
Отправить
 

 

Вернадский Владимир Иванович Вернадский Владимир Иванович

русский ученый, создатель науки «биогеохимия»

Борис Исаакович Ярхо Борис Исаакович Ярхо

русский филолог-медиевист, фольклорист, теоретик и историк литературы, стиховед

Эндрю Яо Цичжи Эндрю Яо Цичжи

учёный в области теории вычислительных систем, профессор университета Цинхуа в Пекине

Ивар Якобсон Ивар Якобсон

шведский ученый, внесший огромный вклад в развитие UML, RUP, Аспектно-ориентированного программирования

Василий Иванович Яворский Василий Иванович Яворский

российский советский учёный в области угольных месторождений и палеонтологии, геолог, доктор геолого-минералогических наук, профессор

Юлиан Андреевич Яворский Юлиан Андреевич Яворский

галицкий литературовед, фольклорист, историк и поэт, общественный деятель москвофильской ориентации

Дмитрий Иванович Яворницкий Дмитрий Иванович Яворницкий

российский и украинский историк, археолог, этнограф, фольклорист, лексикограф, писатель, академик АН УССР

Явербаум Павел Моиссевич Явербаум Павел Моиссевич

профессор кафедры биохимии Иркутского государственного медицинского университета, доктор медицинских наук

Путь Дмитрия Юрченко: биография без прикрас

Путь Дмитрия Юрченко: биография без прикрас

Группа компаний 1520: проектирование и строительство ж/д узлов

Группа компаний 1520: проектирование и строительство ж/д узлов

Владимир  Крупчак. Бухта радости

Владимир Крупчак. Бухта радости