Paulo Sérgio Almeida and Carlos Baquero, researchers at the High-Assurance Software Laboratory (HASLab) and professors at the School of Engineering of the University of Minho, together with Ali Shoker, R&D doctorate at HASLab, are the authors of an article that has been accepted for publication in the Journal of Parallel and Distributed Computing. This top-tier journal in the area of distributed systems has received the A* rating from the Australian CORE ranking.

Rui Oliveira, researcher at the High-Assurance Software Laboratory (HASLab), professor at the School of Engineering of the University of Minho and member of the Board of Directors of INESC TEC, concluded on the 7^th and 8^th of September his habilitation exams at the University of Minho, which were unanimously approved by the members of the jury.

Carlos Baquero, Paulo Sérgio Almeida and Paulo Jesus, researchers of the High-Assurance Software Laboratory (HASLab), have published an article entitled "Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution" in Springer's Distributed Computing journal, one of the most prestigious journals in the field of Informatics and Computer Science.

Ricardo Macedo, a HASLab researcher, presented last week his master's thesis entitled "Secure Computation over NoSQL Databases", and his work received a grade of 20.

The Computation Without Borders activity, organised mainly by HASLab researchers, had another edition this year, with the aim of promoting Computer Science among secondary school students. This was the 10th edition of the “Summer on the Campus” programme of the University of Minho and all 24 vacancies available for this activity were filled up.

The article entitled "A Practical Framework for Privacy-Preserving NoSQL Databases" was accepted at the 36th IEEE International Symposium on Reliable Distributed Systems (SRDS 2017), an international conference classified with A by the well-know CORE ranking.

The article entitled "Similarity aware shuffling for the distributed execution of SQL window functions", authored by Fábio Coelho, José Pereira and Rui Oliveira from INESC TEC, together with Miguel Matos from INESC-ID, was selected for the Best Paper Award of DAIS 2017.

Rui Couto defended his doctoral thesis last week, entitled "Pattern Based Software Development", and was unanimously evaluated by the members of the jury with "very good".