CISUC researcher Nuno Antunes completed on the 20th of March his PhD Thesis “Software Vulnerability Detection in Service-Based Infrastructures”. The public defense took place at Sala José Anastácio da Cunha in the Dept. of Mathematics at the University of Coimbra. Congratulations to Nuno and his supervisor, Prof. Marco Vieira.