Hubert ComonProfesseur à l'ENS Saclay, membre du LMF

Hubert Comon est professeur à l’École Normale Supérieure de Paris-Saclay et membre duLaboratoire Spécification et Vérification(LSV - CNRS/ENS Paris-Saclay). Il a soutenu sa thèse d’informatique à l’Institut National Polytechnique de Grenoble en 1988. Il a été recruté comme chargé de recherches au CNRS en 1989 et affecté au Laboratoire de Recherche en Informatique(LRI - CNRS/Université Paris-Sud). Il a obtenu la médaille de bronze du CNRS en 1992 et soutenu une Habilitation à diriger des Recherches la même année. Promu directeur de recherches au CNRS en 1994, il fonde en 1996 avec des collègues le Laboratoire Spécification et Vérification à l’École Normale Supérieure de Cachan. En 2000-01 il est visiting scholar à l’Université de Stanford. En 2002 il est recruté comme professeur des universités à l’ENS Cachan, où il dirige le département informatique de 2001 à 2007. De 2007 à 2009, il est senior visiting scientist à l’AIST, Tokyo. Il obtient la médaille d’argent du CNRS en 2008.