Джозеф Сифакис

От / / Оставьте комментарий

Джозеф Сифакис Биография и образование Джозеф Сифакис родился в Ираклионе, Крит, в 1946 году.   Изучал электротехнику в Национальном техническом университете […]

'1946 года рождения', 'Выпускники Афинского национального технического университета', 'Выпускники Гренобль-Альпского университета', 'Директора по исследованиям Французского национального центра научных исследований', 'Живые люди', 'Командоры Почетного легиона', 'Лауреаты премии Тьюринга', 'Ученые из Ираклиона', 1946 births, Commanders of the Legion of Honour, Grenoble Alpes University alumni, Living people, National Technical University of Athens alumni, Research directors of the French National Centre for Scientific Research, Scientists from Heraklion, Turing Award laureates

Джозеф Сифакис

  • Биография и образование

    • Джозеф Сифакис родился в Ираклионе, Крит, в 1946 году.  
    • Изучал электротехнику в Национальном техническом университете Афин и компьютерные науки в Университете Гренобля.  
    • Получил докторскую степень по инженерным наукам в Гренобльском университете в 1974 году.  

  • Карьера и достижения

    • Основал компанию VERIMAG вместе с Эдмундом М. Кларк и Амиром Пнуэли.  
    • Был директором VERIMAG в течение четырнадцати лет.  
    • Работал над системной верификацией и формальными методами проектирования систем.  
    • Разработал метод проверки моделей, примененный в докторской диссертации Жан-Пьера Кейля.  
    • Участвовал в разработке инструментов верификации, включая IF toolset, Kronos, CADP и TGV.  
    • Разработал теорию для обработки взрывоопасных состояний с использованием методов абстракции.  

  • Награды и признание

    • Получил премию Тьюринга в 2007 году.  
    • Награжден медалью Леонардо да Винчи в 2012 году.  
    • Великий офицер Национального ордена «За заслуги» Франции в 2008 году.  
    • Кавалер ордена Почетного легиона Франции в 2011 году.  
    • Член Французской академии наук, Европейской академии, Французской инженерной академии, Американской академии искусств и наук, Национальной инженерной академии и Иностранный член Китайской академии наук.  

  • Текущие проекты

    • Работает над разработкой надежных автономных систем, в частности самоуправляемых автомобилей.  

Полный текст статьи:

Джозеф Сифакис

Похожие статьи:

  1. Мохамед бен Заид Аль Нахайян Мохаммед бен Заид Аль Нахайян Биография и образование Шейх Мохаммед бин Зайд бин Султан Аль Нахайян...
  2. Орден Полонии Реститута Орден Полонии Реститута История и значение ордена Орден Восстановления Польши учрежден в 1921 году для награждения...
  3. Орден Канады Орден Канады История и структура ордена Канады Орден Канады был учрежден в 1967 году и является...
  4. Магистр наук — Arc.Ask3.Ru Магистр естественных наук История и определение степени магистра наук Степень магистра наук (MS, M.Sc., M.Sc.E., M.Sc.M.,...
  5. Великое княжество Великое герцогство Определение и история титула «великий герцог» «Великий герцог» — это монарший титул, который в...
  6. Чжоу Эньлай — Arc.Ask3.Ru Чжоу Эньлай Ранние годы и образование Чжоу Эньлай родился в 1898 году в Хуайане, провинция Цзянсу.  ...
  7. Брайан Стейблфорд — Arc.Ask3.Ru Брайан Стейблфорд Биография и карьера Брайан Майкл Стейблфорд родился 25 июля 1948 года в Шипли, Йоркшир.  ...
  8. Великий Новгород Великий Новгород История и культура Великого Новгорода Великий Новгород — один из древнейших городов России, основанный...
  9. Орден Культуры Порядок культуры История и значение ордена Культуры Орден Культуры был учрежден в 1937 году для награждения...
  10. История социализма История социализма История социализма Социализм берет начало в эпоху Просвещения и Французской революции 1789 года.   «Манифест...
  11. Эстер Дюфло — Arc.Ask3.Ru Эстер Дюфло Биография и образование Эстер Дюфло родилась 25 октября 1972 года в Париже, Франция.   Получила...
  12. Джозеф О. Хиршфельдер Джозеф О. Хиршфельдер Джозеф О. Хиршфельдер — американский физик, участник Манхэттенского проекта и создания ядерной бомбы. ...
  13. Оливье Фожерас Оливье Фожерас Биография Оливье Фожераса Французский ученый-компьютерщик, директор по исследованиям в Inria Sophia Antipolis  Член Французской...
  14. Великий артист Великий артист История бомбардировщика B-29 «Великий артист» Бомбардировщик B-29, названный в честь капитана Кермита Бихана, участвовал...
  15. Джозеф Лиувилль Джозеф Лиувилль Биография и образование Джозеф Лиувилль родился 24 марта 1809 года в Сент-Омере, Франция.   Учился...
  16. Великий американский роман Великий американский роман Определение и история «Великого американского романа» «Великий американский роман» — это роман, который...
  17. Временное правительство Французской Республики Временное правительство Французской Республики Временное правительство Французской Республики (PGFR) действовало с 1944 по 1946 годы после...
  18. Ален Аспект Ален Аспект Биография и достижения Алена Аспекта Французский физик, известный экспериментами по квантовой запутанности.  Получил Нобелевскую...
  19. Национальный орден за верную службу Национальный орден «За верную службу» История и значение ордена «За верную службу» Орден является второй по...
  20. Орден Британской Империи Орден Британской империи История и структура ордена Британской империи Орден был учрежден в 1896 году королем...
  21. Орден Британской Империи Орден Британской империи История и структура ордена Британской империи Орден был учрежден в 1896 году королем...
  22. Национальная академия — Википедия Национальная академия Определение и роль национальных академий Национальные академии координируют научно-исследовательскую деятельность и стандарты для академических...

Оставьте комментарий

Прокрутить вверх