Джозеф Сифакис
Джозеф Сифакис | |
|---|---|
 | |
| Рожденный | 26 декабря 1946 г. ( 77 лет) |
| Гражданство | Греческий - Французский |
| Альма-матер | Национальный технический университет Афин Университет Гренобля |
| Известный | Проверка модели |
| Награды | Национальный технический университет Афин, Университет Гренобля |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | CNRS , Федеральная политехническая школа Лозанны |
| Известные студенты | Ставрос Трипакис |
Джозеф Сифакис ( греч . Ιωσήφ Σηφάκης) — греко - французский ученый-компьютерщик . В 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] а в последнее время — разработка надежных автономных систем, в частности беспилотных автомобилей.
Награды [ править ]
- Премия Тьюринга , 2007 г. [14]
- Медаль Леонардо да Винчи, 2012 г. [15]
- Кавалер Национального ордена за заслуги, Франция, 2008 г. [16]
- Командор Ордена Почетного легиона , Франция, 2011 г. [17]
- Член Французской академии наук, 2010 г. [18]
- Член Европейской академии, 2008 г. [19]
- Член Французской инженерной академии, 2008 г. [20]
- Член Американской академии искусств и наук, 2015 г. [21]
- Академик Национальной инженерной академии, 2017 г. [22]
- Иностранный член Китайской академии наук, 2019 г. [23]
Ссылки [ править ]
- ^ Сифакис, Джозеф (22 марта 1974 г.). Темпоральные модели логических систем (кандидатская диссертация) (на французском языке). Университет Жозефа-Фурье – Гренобль I.
- ^ Сифакис, Джозеф (25 июня 1979 г.). Управление асинхронными системами: понятия, свойства, статический анализ (кандидатская диссертация) (на французском языке). Национальный политехнический институт Гренобля – INPG; Университет Жозефа-Фурье – Гренобль I.
- ^ Jump up to: Перейти обратно: а б В то время, когда Джозеф Сифакис был аспирантом, во Франции существовало два уровня докторов наук, высший - Doctorat d'état («государственная докторская степень»), необходимый для доступа к профессорским званиям . С тех пор он был заменен абилитацией .
- ^ : а б В Гренобле было два научных университета: Научно-медицинский университет Гренобля (USMG, Grenoble-1), который позже был переименован в Университет Жозефа Фурье , и Технологический институт Гренобля (INPG), позже переименованный в Grenoble-INP. VERIMAG — совместная лаборатория CNRS, Университета Жозефа Фурье и Гренобльского ИЯФ.
- ^ «ArtistDesign NoE – Совет стратегического управления – Artist2 NoE» . Artist-embedded.org . Проверено 28 сентября 2021 г.
- ^ Новости, L'Usine (18 сентября 2008 г.). «Стул Инрия-Шнайдер» (на французском языке).
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ Евангелиста, Сэнди (30 сентября 2011 г.). «Новости в EPFL» .
- ^ «Добро пожаловать, Сифакис @ SUCTech» . Твиттер . 30 января 2019 года . Проверено 3 ноября 2023 г.
- ^ Марниеми, Дж.; Паркки, МГ (1 сентября 1975 г.). «Радиохимический анализ глутатион-S-эпоксидтрансферазы и ее усиление фенобарбиталом в печени крыс in vivo» . Биохимическая фармакология . 24 (17): 1569–1572. дои : 10.1016/0006-2952(75)90080-5 . ISSN 0006-2952 . ПМИД 9 .
- ^ Алур, Р.; Куркубетис, К.; Хальбвакс, Н.; Хензингер, штат Техас; Хо, П.-Х.; Николлин, X.; Оливеро, А.; Сифакис, Дж.; Йовин, С. (6 февраля 1995 г.). «Алгоритмический анализ гибридных систем» . Теоретическая информатика . 138 (1): 3–34. дои : 10.1016/0304-3975(94)00202-Т . ISSN 0304-3975 .
- ^ Хензингер, штат Техас; Николлин, X.; Сифакис, Дж.; Йовин, С. (1 июня 1994 г.). «Проверка символьной модели для систем реального времени» . Информация и вычисления . 111 (2): 193–244. дои : 10.1006/inco.1994.1045 . hdl : 1813/6182 . ISSN 0890-5401 .
- ^ Малер, Одед; Пнуэли, Амир; Сифакис, Джозеф (1995). «О синтезе дискретных регуляторов для синхронизированных систем: Расширенный тезис» . Ин Майр, Эрнст В.; Пуэх, Клод (ред.). Стакс 95 . Конспекты лекций по информатике. Том. 900. Берлин, Гейдельберг: Springer. стр. 229–242. дои : 10.1007/3-540-59042-0_76 . ISBN 978-3-540-49175-0 .
- ^ Басу, А.; Бозга, М.; Сифакис, Дж. (сентябрь 2006 г.). «Моделирование гетерогенных компонентов реального времени в BIP» . Четвертая международная конференция IEEE по программной инженерии и формальным методам (SEFM'06) . стр. 3–12. дои : 10.1109/SEFM.2006.27 . ISBN 0-7695-2678-0 . S2CID 1926067 .
- ^ «Джозеф Сифакис» . Награды.acm.org . Проверено 4 октября 2021 г.
- ^ «Награды – СЕФИ» . Проверено 4 октября 2021 г.
- ↑ Указ от 16 мая 2008 г., опубликованный в Journal Officiel de la République Française от 17 мая 2008 г.
- ↑ Указ от 13 июля 2011 г., опубликованный в Journal Officiel de la République Française от 14 июля 2008 г.]
- ^ «Джозеф Сифакис | Список членов Академии наук / S | Списки в алфавитном порядке | Списки членов | Члены | О нас» . academie-sciences.fr . Проверено 3 сентября 2022 г.
- ^ «Академия Европы: Сифакис Джозеф» . ae-info.org . Проверено 3 сентября 2022 г.
- ^ 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 ]
- ^ «Справочник участников | Американская академия искусств и наук» . amacad.org . Проверено 3 сентября 2022 г.
- ^ «Профессор Джозеф Сифакис» . Сайт НАЭ . Проверено 3 сентября 2022 г.
- ^ «Объявлены результаты дополнительных выборов академиков Китайской академии наук в 2019 году, избрано 64 человека_Science Pai_The Paper — The Paper» Проверено . 3 сентября 2022 года .
Внешние ссылки [ править ]
