à partir de mille neuf cent quatre-vingts son principal axe de recherche mené en collaboration avec des équipes d' inria du cnrs et de l' école des mines est le développement d' un langage esterel qui permet d' exprimer la synchronisation temporelle de tâches et de prouver leur bon déroulement