LE PRIX TURING 2007
04/02/2008 : Joseph Sifakis, Directeur de l'IC LSI, s'est vu décerner avec Edmund Clarke (Carnegie Mellon University) et Allen Emerson (Université du Texas, Austin), le prix Turing 2007. Ce prix est la plus haute récompense scientifique dans le domaine de l'informatique attribuée chaque année, depuis 1966 par l'ACM (Association of Computing Machinery). L'ACM (www.acm.org), fondée en 1947, est l'organisation internationale représentative des informaticiens avec pour mission la diffusion des résultats de la recherche par l'édition de journaux et l'organisation de conférences. C'est la première fois que ce prix prestigieux, équivalent du prix Nobel pour les informaticiens, est décerné à un chercheur français.
04/02/2008 : Joseph Sifakis, Directeur de l'IC LSI, s'est vu décerner avec Edmund Clarke (Carnegie Mellon University) et Allen Emerson (Université du Texas, Austin), le prix Turing 2007. Ce prix est la plus haute récompense scientifique dans le domaine de l'informatique attribuée chaque année, depuis 1966 par l'ACM (Association of Computing Machinery). L'ACM (www.acm.org), fondée en 1947, est l'organisation internationale représentative des informaticiens avec pour mission la diffusion des résultats de la recherche par l'édition de journaux et l'organisation de conférences. C'est la première fois que ce prix prestigieux, équivalent du prix Nobel pour les informaticiens, est décerné à un chercheur français.