Les résultats de recherche pour :

Portrait de Gérard Berry, informaticien, lauréat de la Médaille d'or du CNRS 2014. Il est titulaire depuis 2012 de la première chaire dans le domaine informatique au Collège de France intitulée "Algorithmes, machines et langages". Du traitement formel des langages de programmation à la conception de circuits intégrés assistée par ordinateur en passant par la programmation parallèle et temps réel, les travaux de Gérard Berry ont permis de grandes avancées en informatique et…

Lauréat de la médaille d'or 2014 du CNRS, Gérard Berry, informaticien et professeur au collège de France nous présente le logiciel Antescofo, développé par l'IRCAM en partenariat avec l'INRIA. Ce logiciel reprend le langage informatique ESTEREL, dit "synchrone et réactif", permettant entre autre de piloter les avions. Les propriétés de ce langage de programmation synchrone inventé par Gérard Berry sont utilisées par Antescofo afin de s'ajuster et d'accompagner le…

Alan Turing était mathématicien, cryptologue, pionnier de l'informatique, de l'intelligence artificielle et de la morphogenèse en biologie. A l'occasion du centenaire de sa naissance, ce film nous présente cet homme exceptionnel en retraçant sa vie, son oeuvre et son influence. La rencontre avec des chercheurs des différentes disciplines dans lesquelles Alan Turing a travaillé permet de découvrir petit à petit qui il était, ce…