Jorge Sousa Pinto passes the habilitation exam

Jorge Sousa Pinto, a member of HASLab/INESC TEC and a teacher at the Department of Informatics of University of Minho, obtained, last Friday, the academic degree of habilitation by unanimity of the jury members.

 

The habilitation exam began on Thursday, December 17, with a discussion of the candidate's curriculum involving two members of the jury, specifically, António Porto, from the University of Porto and Luís Caires, from the Universidade Nova de Lisboa. Still on this day, a third jury member, Pedro Guerreiro, from the University of Algarve, analyzed and discussed a report, previously submitted by the candidate, on a course in the area of algorithms taught by Jorge Sousa Pinto to students of the Computer Science and Informatics Engineering degrees at the University of Minho.

On the second day of the exam, Jorge Sousa Pinto delivered a presentation about "Verification Conditions for Single - Assignment Programs", an introduction to the techniques used in popular tools for verification of software properties, based on the conversion of code to intermediate "single- assignment" forms. This presentation was commented by one of the members of the jury, João Marques Silva, from Instituto Superior Técnico, and followed by a discussion involving different members of the jury.

The presentation delivered is closely related to the article "Formalizing single-assignment program verification: an adaptation-complete approach", co-authored with Claúdio Belo Lourenço and Maria João Frade, which was accepted in ESOP'16: 25th European Symposium on Programming, a conference with plenty of relevance in the field of Software Engineering and a part of the ETAPS'16 event: European Joint Conferences on Theory & Practice of Software (www.etaps.org/index.php/about/conferences).