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.
Joseph Sifakis is a French computer scientist who received the 2007 Turing Award for his contributions to model checking and verification of concurrent and real-time systems. He is also the founder of Verimag, a leading research laboratory in embedded systems, and a member of several academic and industrial organizations.
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 is a researcher and professor at Verimag, France. He has published numerous papers on topics such as autonomous systems, dynamic reconfigurable systems, architecture modelling, and system design automation.
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.