Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Article

INESC TEC researcher concludes habilitation exams at UMinho

On June 3 and 4, José Creissac Campos, senior researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) 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.

22nd June 2020

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.

The INESC TEC researcher mentioned in this news piece is associated with INESC TEC and UMinho.