Bernard Serpette
Chercheur INRIA Bordeaux

Bernard Serpette a passé sa thèse à l’Ircam sur la définition d’un langage de programmation d’aide à la composition. Après une année à la Bull, il a fait toute sa carrière à l’Inria, centrée sur les langages applicatifs et
l’analyse statique.
Une première période au centre de Rocquencourt lui a fait abordé les aspects de la sémantique, de l’environnement de programmation.
La seconde période, au centre de Sophia-Antipolis, a été l’occasion de s’intéresser à la programmation asynchrone (objets actifs, Esterel, pair-à-pair) et à l’utilisation de preuves formelles pour la certification d’algorithme.
Enfin, une dernière mutation au centre de Bordeaux, a permis l’étude des objets connectés et à un retour à l’informatique musicale.

IMG_8507.jpg