HASLab has twelve more master’s students

Nine HASLab researchers supervised the dissertations of twelve students from the Department of Informatics, who defended their master's theses this month and obtained, on average, an evaluation of 17.5.

The High-Assurance Software Laboratory (HASLab) managed to have twelve students of the Integrated Master’s Degree in Informatics Engineering - a degree taught by the Department of Informatics of the University of Minho - complete their master's theses, and therefore obtaining the degree of Master.

The dissertations were related to the research areas of HASLab, and counted on the guidance of Alcino Cunha, António Nestor Ribeiro, Maria João Frade, António Luís Sousa, Victor Fonte, José Bacelar Almeida, José Creissac Campos and José Orlando Pereira as main advisers.

The most recent masters of HASLab are: José Pereira, Eduardo Pessoa, Ana Zita Pinto, Guilherme Rodrigues, Marta Azevedo, Nuno Pereira, Diana Martins, Tiago Brito, Fábio Gomes, João Rocha, José Morais and Pedro Ferreira.