Resultado da Busca
Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking.
BIRTH: December 26, 1946. EDUCATION: Doctorate (1974, Electrical Engineering, National Technical University of Athens, Greece); State Doctorate (1979, Computer Science, University of Grenoble, France). EXPERIENCE: Since 1975, CNRS and University Joseph Fourier researcher; founder of Verimag Laboratory in Grenoble (CNRS, UGA), France; Professor ...
Articles 1–20. Reseracher at Verimag laboratory, Grenoble - Cited by 22,804 - software engineering - formal methods - web services - middleware - networks.
Joseph Sifakis (em grego: Ιωσήφ Σηφάκης; Heraclião, 26 de dezembro de 1946) é um informático greco-francês. [1] [2] Foi laureado com o Prêmio Turing de 2007. Contribuiu significativamente para o advento do Model Checking e sua difusão na indústria.
Joseph Sifakis has been a full professor at Ecole Polytechnique Fédérale de Lausanne (EPFL) for the period 2011-2016. He is the founder of the Verimag laboratory in Grenoble, which he directed for 13 years.
Joseph Sifakis: A Vision for Computer Science - the System Perspective. Central European Journal of Computer Science, 1(1), 2011, 108-116. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: From high-level component-based models to distributed implementations. EMSOFT 2010: 209-218
1 de mai. de 2024 · Joseph Sifakis (born Dec. 26, 1946, Iráklion, Crete, Greece) is a Greek-born French computer scientist and cowinner of the 2007 A.M. Turing Award, the highest honour in computer science.
