Résumé
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 trouvent de multiples applications dans notre quotidien.
Retour sur son parcours depuis les années 1980, où son principal axe de recherche, mené en collaboration avec des équipes d'Inria, du CNRS et de l'École des mines, est alors le développement d'un langage, Esterel, qui permet d'exprimer la synchronisation temporelle de tâches et de prouver leur bon déroulement. Ses travaux les plus récents se concentrent sur la programmation diffuse, c'est-à-dire la programmation des objets connectés : ordinateurs, téléphones, télévisions, appareils électroménagers.