Поделиться:

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

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


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

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

Биография

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

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

Награды

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

Комментарии

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

«Россети» дали старт цифровой трансформации в компании и запустили новую подстанцию

«Россети» дали старт цифровой трансформации в компании и запустили новую подстанцию

Liberty Group – первый бизнес Ильи Шувалова

Liberty Group – первый бизнес Ильи Шувалова

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

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