News

Researcher of HASLab promotes formal methods in the University of the Basque Country

Between 26 and 29 November, José Creissac Campos, senior researcher of HASLab and Professor at the University of Minho, visited the Laboratory of Human-Computer Interaction for Special Needs that is part of the University of the Basque Country, where he promoted the field of work in formal methods.

Guillermina Cledou concludes her PhD

Guillermina Cledou defended her doctoral thesis entitled “A Virtual Factory for Smart City Service Integration”. The researcher received a unanimous evaluation of “good with distinction” from the jury.

Researcher of HASLab concludes his PhD

Rui Pereira defended his doctoral thesis entitiled “Energyware Engineering: Techniques and Tools for Green Software Development”. The researcher received an unanimous evaluation of “very good” from the jury.

Ricardo Gonçalves concludes his PhD

Ricardo Gonçalves defended his doctoral thesis entitled “Multi-Value Distributed Key-Value Stores”. The researcher received a unanimous evaluation of “good” from the jury.

SafeCloud European project ended with excellent assessment

On 27 September, it took place the third and final assessment by the European Commission on the SafeCloud project. The project is a work led by INESC TEC's High-Assurance Software Laboratory (HASLab). With an investment of over EUR three million, this project focuses on the area of the infrastructures in the cloud, that despite its advantages, still present several challenges of safety, privacy and integrity in the data storage and processing.

HASLab participates in the Summer on the Campus 2018

Integrated in the 10th Summer in the Campus Programme of the University of Minho, the activity Computing Without Borders was organized by the Informatics Department in collaboration with HASLab.

Researcher of HASLab concludes his PhD

Fábio Coelho defended his doctoral thesis entitled “Towards a Transactional and Analytical Data Management System for Big Data". The researcher received an unanimous evaluation of “very good” from the jury.

European project CloudDBAppliance receives a positive assessment in the first 18 months of activity

The European project CloudDBAppliance achieved a positive assessment in the first 18 months of activity under the European Commission’s assessment that took place on 6 July in Brussels.

Researcher from HASLab concludes habilitation exams

Carlos Baquero, researcher of the High-Assurance Software Laboratory (HASLab) and Professor at the School of Engineering of the University of Minho, completed the habilitation exams on 26 and 27 July at the University of Minho, being unanimously approved by the members of the jury.

Researchers of HASLab conclude their PhD

Renato Neves and Cláudio Belo Lourenço defended their doctoral theses entitled “Hybrid Programs” and “Single-assignment Program Verification”, respectively. Both researchers received an unanimous evaluation of “very good” from the jury.