El investigador de Instituto IMDEA Software Pierre Ganty ha sido ponente invitado en los “Cursos de Verano, Matemáticas para el mundo y para la sociedad” organizados por la Universidad Complutense. La escuela ha tenido lugar del 27 de junio al 1 de julio en San Lorenzo de El Escorial. La ponencia de pierre se ha enmarcado en la sesión “Garantizando la corrección y seguridad de los sistemas”.
