Resultado da Busca
Joseph Sifakis is a Greek-born French computer scientist and cowinner of the 2007 A.M. Turing Award, the highest honour in computer science. Sifakis earned a bachelor’s degree (1969) in electrical engineering from the National Technical University of Athens and a master’s degree (1972) and a
3. J. Sifakis. Toward a System Design Science, Workshop From Programs to Systems - The Systems Perspective in Computing (FPS) held in Honor of Joseph Sifakis, Grenoble, Lecture Notes in Computer Science, 2014. 4. J. Sifakis. Rigorous System Design, in Foundations and Trends® in Electronic Design Automation, vol. 6, num. 4, p. 293-362, 2012. 5 ...
The Heidelberg Laureate Forum Foundation Portraits: Joseph Sifakis, 2017; Linking natural and artificial intelligence, Dec. 2016; On the Nature of Computing, Sep. 2016; Interview “France in the US”, April 2015; The Internet of Things - the Ultimate ICT Revolution, Apr. 2015; TUCS 20 Distinguished Lecture October 2014
In 1981, Edmund M. Clarke and E. Allen Emerson, working in the USA, and Joseph Sifakis working independently in France, authored seminal papers that founded what has become the highly successful field of Model Checking. This verification technology provides an algorithmic means of determining whether an abstract model--representing, for example ...
6 de set. de 2019 · Joseph received the award in 2007. Here is the citation: “ACM, the Association for Computing Machinery, has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a
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.
