IMDEA Software

Iniciativa IMDEA

Inicio > Noticias > 2009 > Laurent Mauborgne se incorpora al Instituto

1 de agosto de 2009

Laurent Mauborgne se incorpora al Instituto

Laurent Mauborgne se ha incorporado al Instituto como Researcher. Anteriormente era profesor de la École normale superieure y profesor a tiempo parcial de la École Polytechnique, Francia. Recibió su doctorado en informática por la École Polytechnique en 1999, y la Habilitation à diriger les recherches de la Universidad Paris-Dauphine (Francia) en 2007. Su investigación se centra en el análisis estático de programas y en la interpretación abstracta, con el objetivo de desarrollar tanto resultados teóricos como herramientas prácticas para analizar el comportamiento de programas. Laurent es uno de los autores del analizador Astrée, una herramienta que ha conseguido demostrar la ausencia de errores de ejecución en código crítico de aviónica.