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.