Laurent Mauborgne, Investigador en el Instituto IMDEA Software es uno de los ganadores del Intelligent Systems Best Paper Award por su artículo “Static Analysis and Verification of Aerospace Software by Abstract Interpretation” presentado en el 2010 AAIA Infotech@Aerospace.
Este premio lo otorga el American Institute of Aeronautics and Astronautics.