Juan Caballero, IMDEA Software Institute