New member in HASLab’s coordination

In the meeting of INESC TEC’s Board that was held on 7 May, António Luís Sousa was appointed for the co-coordination of the High-Assurance Software Laboratory (HASLab), in which his duties will be carried out alongside Alcino Cunha who continues to be the Co-coordinator of the Centre.

Assistant Professor at the Department of Informatics of the University of Minho and a Senior Researcher at HASLab, António Sousa has been developing its research in dependable distributed systems, especially with the application to dependable distributed database systems, large scale distributed systems and cloud computing management.

The researcher mentioned in this news piece is associated with U.Minho.