Józef Sifakis - Joseph Sifakis
Józefa Sifakisa | |
---|---|
Urodzić się | 26 grudnia 1946 (wiek |
74)
Obywatelstwo | grecki – francuski |
Alma Mater |
Narodowy Uniwersytet Techniczny w Atenach Uniwersytet w Grenoble |
Znany z | Opracowanie sprawdzania modelu |
Nagrody | Narodowy Uniwersytet Techniczny w Atenach Uniwersytet w Grenoble |
Kariera naukowa | |
Pola | Informatyka |
Instytucje | CNRS , École Polytechnique Fédérale de Lausanne |
Joseph Sifakis ( gr . Ιωσήφ Σηφάκης) jest grecko - francuskim informatykiem i naukowcem posiadającym francuskie i greckie obywatelstwo. Otrzymał nagrodę Turinga 2007 , wraz z Edmundem M. Clarke i E. Allenem Emersonem za pracę nad sprawdzaniem modeli .
Biografia
Joseph Sifakis urodził się w Heraklion , Kreta w 1946 roku i mieszka w Francji . Studiował elektrotechnikę na Narodowym Uniwersytecie Technicznym w Atenach oraz informatykę na Uniwersytecie w Grenoble w ramach stypendium francuskiego . Otrzymał doktorat inżyniera w 1974 na Uniwersytecie w Grenoble , gdzie również otrzymał doktorat państwowy w 1979 roku.
Obecnie jest emerytowanym dyrektorem badawczym Centre national de la recherche scientifique w laboratorium VERIMAG niedaleko Grenoble , którego jest założycielem. Sifakis jest wiodącą postacią w dziedzinie sprawdzania modeli i systemów wbudowanych . Założył z Edmunda M. Clarke'a i Amir Pnueli z CAV konferencji, zorganizowanej po raz pierwszy w Grenoble w 1989 roku został koordynatorem artysty Europejskiej Sieci Doskonałości w zakresie badań na Embedded Systems (2004-2012).
Sifakis odbyła się INRIA-Schneider obdarzony Przemysłowe krzesło (2008-2011) i został profesorem i dyrektorem «rygorystyczny system projektowania» Laboratorium w Szkole komputerowych i komunikacyjnych Nauk o EPFL (2011-2016). Był profesorem wizytującym na Uniwersytecie Tsinghua (2011-2012) i obecnie jest profesorem wizytującym na Uniwersytecie SUSTech .
Sifakis był przewodniczącym Greckiej Krajowej Rady ds. Badań Naukowych i Technologii (2014-2016).
Praca
Sifakis pracował nad weryfikacją systemu i zastosowaniem metod formalnych do projektowania systemu. W swoim doktoracie stanowym studiował zasady algorytmicznej metody weryfikacji znanej później jako Model Checking . W 1982 r. technika ta została zastosowana w pracy doktorskiej Jean-Pierre'a Queille'a. opracowanie narzędzia weryfikacji CESAR.
Sifakis był dyrektorem firmy VERIMAG przez czternaście lat. Firma VERIMAG , założona początkowo jako mieszane laboratorium przemysłowe pomiędzy CNRS i Verilog SA., współpracowała z Airbus i Schneider Electric w celu opracowania metod i narzędzi do rozwoju systemów krytycznych dla bezpieczeństwa, w szczególności środowiska programowania synchronicznego SCADE opartego na języku Luster . Sifakis pracował nad weryfikacją Tymczasowy i hybrydowych układów z Thomasem Henzinger i syntezy systemów taktowane Amir Pnueli i Oded Maler . Uczestniczył w rozwoju narzędzi weryfikacyjnych, w tym zestawu narzędzi IF, Kronos , CADP i TGV oraz opracował teorię radzenia sobie z wybuchem stanu przy użyciu technik abstrakcji.
W ciągu ostatnich dwudziestu lat jego praca skupiała się na rygorystycznym projektowaniu opartym na komponentach z wykorzystaniem BIP component framework, a ostatnio na projektowaniu godnych zaufania systemów autonomicznych, w szczególności samochodów autonomicznych.
Uznanie zawodowe, nagrody i wyróżnienia
- Nagroda Turinga , 2007
- Medal Leonarda da Vinci, 2012
- Wielki Oficer Orderu Zasługi, Francja, 2008
- Komendant Legii Honorowej, Francja, 2011
- Członek Francuskiej Akademii Nauk, 2010
- Członek Academia Europea, 2008
- Członek Francuskiej Akademii Inżynierii, 2008
- Członek Amerykańskiej Akademii Sztuk i Nauk, 2015
- Członek Narodowej Akademii Inżynierskiej, 2017
- Członek zagraniczny Chińskiej Akademii Nauk, 2019
- Nagroda Parlamentu Greckiego dla Wspólnoty i Demokracji, 2010
- Komandor Orderu Feniksa, Grecja 2013