Le temps et les événements en informatique (Gérard Berry)

Les langages de programmation classiques ne savent pas bien parler du temps et des événements, et leurs subterfuges ne sont pas convaincants. Pourtant, c'est indispensable dans des domaines aussi divers que les circuits et codes embarqués, les grandes simulations, l'orchestration d'applications Web, ou la musique électronique. J'étudierai les formalismes qui permettent cela, leurs avantages et leurs limitations, leurs succès et promesses dans les applications réelles, ainsi que les problèmes restant ouverts ou faussement résolus dans le domaine.

Depuis 1973, Gérard Berry travaille sur la modélisation du calcul, la conception de langage de programmation, leur sémantique mathématique et leur compilation, ainsi que sur la vérification de programmes. Après des travaux sur le lambda-calcul et les langages fonctionnels jusqu'en 1982, il s'est intéressé à la programmation des systèmes réactifs et temps réel, définissant et implémentant le langage Esterel v5 utilisé dans divers projets industriels. Après des travaux sur la synthèse et la vérification de circuits avec Digital Equipment, Synopsys, Cadence et Intel, il est devenu en 2001 Directeur scientifique de la société Esterel Technologies, où il a défini et implémenté le langage Esterel v7 utilisé dans la synthèse et la vérification formelle de circuits commerciaux, et participé à la définition du langage SCADE 6 pour le temps réel embarqué critique. Il a rejoint l'Inria en 2009, devenant président se sa commission d'évaluation. Depuis septembre 2009, il tient la chaire "Algorithmes, machines et langages" au Collège de France où il donne actuellement le cours "Le temps et les événements en informatique", et où avait déjà donné deux cours sur chaire annuelle, "Pourquoi et comment le monde devient numérique" en 2007-2008 et "Penser, modéliser et maîtriser le calcul informatique".