News

HASLab researchers publish in IEEE Transactions on Human-Machine Systems

José Creissac Campos and Michael Harrison, researchers of HASLab, along with researchers from other institutions, have published “Formal Verification of a Space System's User Interfaces with the IVY workbench” in IEEE Transactions on Human-Machine Systems, a top 10 HCI journal according to SCImago.

HASLab director integrate the board of INESC TEC

Rui Oliveira, director of High-Assurance Software Laboratory, is one of the new members of the board of INESC TEC.

Doctoral Programmes 2015 | 2016

See the doctoral programmes that the Department of Informatics and HASLab have for you!
- MAP-I - Doctoral Programme in Computer Science 
- PDINF - Doctoral Programme in Informatics

Francisco Moura wins the silver medal in the world maters MTB Orienteering Championship

Francisco Moura, an athlete of the Montes e Vales company and one of HASLab‘s  oldest researchers, participated, last weekend, in the World Masters Mountain Bike Orienteering Championship 2015 (WMMTBOC’15) and took the silver medal in the middle distance race and the fourth place in the long distance race.

CoherentPaaS: massive data management for the digital single market
HASLab has an article dedicated to CoherentPaaS project named " CoherentPaaS: Massive data management for the Digital Single Market" on Digital Agenda for Europe.

Master Courses 2015 | 2016

See the master courses that the Department of Informatics has for you! 

Manuel Barbosa taking a position at FCUP

Manuel Barbosa, member of the direction of HASLab, ended, last Friday, his 14 year connection to the Department of Informatics of University of Minho. He will be starting an equivalent position in the Department of Computer Science at FCUP. The HASLab researcher has stated this change does not alter his role within HASLab, to which he hopes to remain connected for many years to come.

João Paulo is the third doctorate of HASLab in 2015

”Dependable Decentralized Storage Management for Cloud Computing” is the theme of the doctoral thesis of João Paulo, one of the HASLab researchers on Distributed Systems, defended last Friday.

SafeCloud approved for HASLab

The High-Assurance Software Laboratory received the approval of the project SafeCloud (Secure and Resilient Cloud Architecture). This is an European project that will be coordinated by HASLab.

Francisco Maia is the latest doctorate of HASLab

Francisco Maia, one of the HASLab researchers on Distributed Systems, defended on April 30 his doctoral thesis with the subject “Epidemic Store for Massive Scale Systems”.