HASLab researcher concludes habilitation exams at UMinho

On June 3 and 4, José Creissac Campos, senior researcher from the High-Assurance Software Laboratory (HASLab) of INESC TEC and UMinho and lecturer at the School of Engineering of the University of Minho, concluded the habilitation exams at UMinho, with unanimous approval by the members of the jury.

The habilitation exams in the field of IT comprehend the assessment of the CV and the report relating to the curriculum, contents and methods of theoretical and practical teaching of the subjects of the “Software Systems Development” course, followed by the discussion of the synthesis lesson presented by José Creissac Campos, entitled “Engineering Safer Interactive Computing Systems”.

The jury was composed of Estela Erlhagen (University of Minho), Luís Carriço (Faculty of Sciences, University of Lisbon), Nuno Correia (NOVA School of Science and Technology), Nuno Guimarães (University Institute of Lisbon), João Miguel Fernandes, José Nuno Oliveira and Luís Soares Barbosa (University of Minho) and Philippe Palanque (Université Paul Sabaties).

José Creissac Campos specialises in Computer Engineering and focuses on Software Engineering, Formal Methods and Computer-Human Interaction, with particular interest in formal verification tools. José Creissac Campos has been lecturing at UMinho since 1993.