stringtranslate.com

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

Джозеф Сифакис ( греч . Ιωσήφ Σηφάκης) — греко - французский учёный-компьютерщик . Он получил премию Тьюринга 2007 года вместе с Эдмундом М. Кларком и Э. Алленом Эмерсоном за свою работу по проверке моделей .

Биография

Джозеф Сифакис родился в Ираклионе , Крит , в 1946 году и живет во Франции . Он изучал электротехнику в Национальном техническом университете Афин и информатику в Университете Гренобля по французской стипендии . Он получил докторскую степень по инженерии в 1974 году в Университете Гренобля , [1] где он также получил государственную докторскую степень в 1979 году. [2] [3] [4]

В настоящее время он является почетным директором по исследованиям в Национальном центре научных исследований в лаборатории VERIMAG недалеко от Гренобля , основателем которого он является. Сифакис был ведущей фигурой в области проверки моделей и встроенных систем . Он основал совместно с Эдмундом М. Кларком и Амиром Пнуэли конференцию CAV , впервые организованную в Гренобле в 1989 году. Он был координатором Европейской сети передового опыта ARTIST по исследованиям встроенных систем [5] (2004–2012).

Сифакис занимал должность промышленного профессора INRIA-Schneider [6] (2008–2011) и был профессором [7] и директором «Лаборатории строгого проектирования систем» в Школе компьютерных и коммуникационных наук EPFL (2011–2016). Он был приглашенным профессором в Университете Цинхуа (2011–2012) и в SUSTech (2019). [8]

Сифакис был президентом Греческого национального совета по исследованиям и технологиям (2014–2016).

Работа

Сифакис работал над проверкой систем и применением формальных методов к проектированию систем. В своей докторской диссертации [3] он изучал принципы алгоритмического метода проверки, известного позже как проверка моделей . В 1982 году эта техника была применена в докторской диссертации Жан-Пьера Кейля для разработки инструмента проверки CESAR. [9]

Сифакис был директором VERIMAG в течение четырнадцати лет. Созданная изначально как смешанная промышленная лаборатория между CNRS и Verilog SA, VERIMAG сотрудничала с Airbus и Schneider Electric для разработки методов и инструментов для разработки критически важных для безопасности систем, в частности, среды синхронного программирования SCADE на основе языка Lustre . Сифакис работал над проверкой синхронизированных и гибридных систем с Томасом Хензингером [10] [11] и над синтезом синхронизированных систем с Амиром Пнуэли и Одедом Малером [12] . Он участвовал в разработке инструментов верификации, включая набор инструментов IF, Kronos, CADP и TGV, и разработал теорию для борьбы со взрывом состояний с использованием методов абстракции.

За последние двадцать лет его работа была сосредоточена на строгом компонентном проектировании с использованием компонентной структуры BIP [13] , а в последнее время — на проектировании надежных автономных систем, в частности беспилотных автомобилей.

Награды

Ссылки

  1. ↑ Сифакис, Джозеф (22 марта 1974 г.). Modèles temporels des systèmes logiques (кандидатская диссертация) (на французском языке). Университет Жозефа-Фурье – Гренобль I.
  2. ↑ Сифакис, Джозеф (25 июня 1979 г.). Le contrôle des systemes asynchrones: понятия, свойства, статический анализ (кандидатская диссертация) (на французском языке). Национальный политехнический институт Гренобля – INPG; Университет Жозефа-Фурье – Гренобль I.
  3. ^ ab В то время, когда Джозеф Сифакис был аспирантом, во Франции существовало два уровня докторской степени, высший из которых, doctorat d'état («государственная докторская степень»), был необходим для доступа к профессорским должностям . С тех пор он был заменен на habilitation .
  4. ^ :ab В Гренобле было два научных университета: Université scientifique et médicale de Grenoble (USMG, Гренобль-1), который позже был переименован в Университет Жозефа Фурье , и Гренобльский технологический институт (INPG), позже переименованный в Гренобль-INP. VERIMAG — это совместная лаборатория CNRS, Университета Жозефа Фурье и Гренобля-INP.
  5. ^ "ArtistDesign NoE - Совет стратегического управления - Artist2 NoE" . Artist-embedded.org . Проверено 28 сентября 2021 г.
  6. ↑ Nouvelle, L'Usine (18 сентября 2008 г.). «Une Chaire Inria-Schneider» (на французском языке). {{cite journal}}: Цитировать журнал требует |journal=( помощь )
  7. ↑ Евангелиста, Сэнди (30 сентября 2011 г.). «Новости в EPFL».
  8. ^ "Welcome Sifakis @ SUCTech". Twitter . 30 января 2019 . Получено 3 ноября 2023 .
  9. ^ Marniemi, J.; Parkki, MG (1 сентября 1975 г.). «Радиохимический анализ глутатион-S-эпоксид трансферазы и ее усиление фенобарбиталом в печени крысы in vivo». Биохимическая фармакология . 24 (17): 1569–1572. doi :10.1016/0006-2952(75)90080-5. ISSN  0006-2952. PMID  9.
  10. ^ Alur, R.; Courcoubetis, C.; Halbwachs, N.; Henzinger, TA; Ho, P. -H.; Nicollin, X.; Olivero, A.; Sifakis, J.; Yovine, S. (6 февраля 1995 г.). «Алгоритмический анализ гибридных систем». Теоретическая информатика . 138 (1): 3–34. doi : 10.1016/0304-3975(94)00202-T . ISSN  0304-3975.
  11. ^ Хензингер, ТА; Николлин, X.; Сифакис, Дж.; Йовин, С. (1 июня 1994 г.). «Проверка символической модели для систем реального времени». Информация и вычисления . 111 (2): 193–244. doi : 10.1006/inco.1994.1045 . hdl : 1813/6182 . ISSN  0890-5401.
  12. ^ Малер, Одед; Пнуэли, Амир; Сифакис, Джозеф (1995). «О синтезе дискретных контроллеров для синхронизированных систем: расширенный реферат». В Mayr, Ernst W.; Puech, Claude (ред.). Stacs 95. Lecture Notes in Computer Science. Vol. 900. Berlin, Heidelberg: Springer. pp. 229–242. doi :10.1007/3-540-59042-0_76. ISBN 978-3-540-49175-0.
  13. ^ Basu, A.; Bozga, M.; Sifakis, J. (сентябрь 2006 г.). "Моделирование гетерогенных компонентов реального времени в BIP". Четвертая международная конференция IEEE по программной инженерии и формальным методам (SEFM'06) . стр. 3–12. doi :10.1109/SEFM.2006.27. ISBN 0-7695-2678-0. S2CID  1926067.
  14. ^ "Joseph Sifakis". awards.acm.org . Получено 4 октября 2021 г. .
  15. ^ "Awards – SEFI" . Получено 4 октября 2021 г. .
  16. ^ Указ от 16 мая 2008 г., опубликованный в Journal officiel de la République Française от 17 мая 2008 г.
  17. ^ Указ от 13 июля 2011 г., опубликованный в Journal officiel de la République Française от 14 июля 2008 г.]
  18. ^ "Джозеф Сифакис | Список членов Академии наук / S | Списки по алфавиту | Списки членов | Члены | Nous connaître" . academie-sciences.fr . Проверено 3 сентября 2022 г.
  19. ^ "Академия Европы: Сифакис Джозеф". ae-info.org . Получено 3 сентября 2022 г. .
  20. ^ https://academie-technologies-prod.s3.amazonaws.com/2020/06/24/06/46/20/8f0cbef7-2ba0-4ed4-be6f-cc9467251a42/LISTE%20MEMBRES%20AVEC%20COLLEGES%202020%20MAJ230620. PDF [ пустой URL PDF ]
  21. ^ "Справочник участников | Американская академия искусств и наук". amacad.org . Получено 3 сентября 2022 г. .
  22. ^ "Профессор Джозеф Сифакис". Сайт НАЭ . Проверено 3 сентября 2022 г.
  23. ^ "2019年中科院院士增选结果揭晓，64人当选_科学湃_澎湃新闻-The Paper" . thepaper.cn . Проверено 3 сентября 2022 г.

Внешние ссылки

На Викискладе есть медиафайлы по теме Джозеф Сифакис .