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”.

In memory of José Mariano Gago

José Mariano Gago: 1948 - 2015

Researcher of HASLab in Oracle

Filipe Campos, researcher at HASLab, started yesterday to work at ORACLE, one of the best multinational American companies in the area of Informatics, which operates in several market sectors.

Member of HASLab organizes workshop in the EuroSys 2015

Carlos Baquero, one of the researchers of HASLab, along with Marco Serafini, member of Qatar Computing Research Institute, organizes on next week the Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC). 

2nd edition of HASLab Open Day with positive balance

In the context of the Enterprise Europe Network (Portugal) the HASLab Open Day happened yesterday in the University of Minho. Several enterprises in the ICT area have been present with the objective of establish and reinforce the relations with the HASLab.

LeanBigData is the best european R&D cooperation project

LeanBigData (Ultra-Scalable and Ultra-Efficient Integrated and Visual Big Data Analytics), a project from INESCTEC’s High Assurance Software Laboratory (HASLab) and Centre for Information Systems and Computer Graphics (CSIG), received the madri+d Award for Best European R&D Cooperation Project.

Daniel Torres is the latest graduate student of the HASLab

Daniel Torres, 26 years old, defended last Friday his Master’s Thesis entitled "Secure Multiparty Computation Protocols” in the Computer Engineering Masters degree.

HASLab has a new doctorate member

Nuno Oliveira, researcher of HASLab in the area of Engineering of Software, defended on March 10 his PhD Thesis entitled “Architectural Reconfiguration of Interacting Services".

Journal of Parallel and Distributed Computing accepts article from HASLab

The article "Flow updating: Fault-tolerant aggregation for dynamic networks" was accepted and is published since February 24 in the Journal of Parallel and Distributed Computing, a journal rated A* in the CORE ranking.