Joseph Sifakis est ingénieur électricien de l’École Polytechnique d’Athènes, docteur-ingénieur de l’Université scientifique et médicale de Grenoble (USMG)[2] et docteur d’État en informatique de l’USMG et de l’Institut national polytechnique de Grenoble.
Il a fondé le laboratoire Verimag de Grenoble où il travaille encore à présent. Il est le lauréat, avec Edmund Clarke (Carnegie Mellon University) et Allen Emerson (Université du Texas à Austin) du Prix Turing 2007, et le premier Français à recevoir cette distinction. Il a également reçu en 2001 la médaille d’argent du CNRS.
Il est l’un des créateurs de la méthode d’énumération et de vérification de modèles (model checking), pour laquelle il a reçu ce prix. Il s’est également illustré dans l’étude des systèmes hybrides.
In this talk, I will discuss the evolution of Computer Science and in particular its shift of focus from algorithms and programs to systems. I will advocate for a coherent scientific foundation of system design and present a vision for its development in three work directions :
I will conclude with general remarks about the nature of Computer Science as a scientific discipline on its own right and advocate for a deeper interaction and cross-fertilization with other more mature disciplines.