Annuaire Académiciens

-       Ingénieur à l'école Polytechnique (promotion 1967).

-       Ingénieur des Mines (1973).

-       Docteur de Troisième Cycle (1976).

-       Docteur en mathématique (1979).

-      Maître de recherche à l'école des Mines de Paris (1972-1993)

-      Directeur de recherche à l'école des Mines de Paris (1993-2000)

-      Co-responsable d'un projet commun Ecole des Mines / INRIA (1983-2000)

-      Directeur du Centre de mathématiques appliquées à l'école des Mine à Sophia-Antipolis (1993-2000)

-      Ingénieur Général des mines (1995).

-      Directeur scientifique de la société ESTEREL Technologies(2001 - 2009)

-      Professeur associé au collège de France (2007-2008)

-      En détachement à l'INRIA depuis mars 2009 (président de la commission de l'évaluation de la recherche à l'INRIA)

-      Professeur associé au collège de France (2009-2010)

-       Membre de l'Academia Europaea (1993)

-       Membre de l'Académie des sciences (2002)

-       Membre de l'Académie des technologies (2005)

-       Modélisation du calcul informatique

-       Programmation des systèmes embarqués et temps-réels

-       Design et synthèse de circuits électroniques

-       Vérification automatique de programme et de circuits

-       Logique mathématique

-       Application de l'informatique aux autres sciences

-       Place de l'informatique dans la société

-       Enseignement de l'informatique au grand public

-     Travaux sur le lambda-calcul comme modèle de la programmation (1973-1990)

-     Modèles mathématiques du parallélisme

-     Conception du langage ESTEREL (1985-2005).

-     Plus de 30 publications scientifiques

-     Activités de consulting technique (Bell Labs, Digital Equipment, Synopsys, Cadence, Schneider Electric, etc.)

-     Entré comme Directeur Scientifique à Esterel Technologies 1 an après la création de l'entreprise autour de mes résultats de recherches

-       Sophia-Antipolis

-       Médaille de Bronze du CNRS (1979)

-       Prix Monpetit de l'Académie des Sciences (1990)

-       Chevalier de l'ordre des Palmes Académiques (1994)

-       Prix Science et Défense (1999)

-       Grand prix de la Fondation EADS (2005)

-      Chevalier de l'ordre du mérite en 2008