News
 |
Afonso Rodrigues, a collaborator of HASLab/INESC TEC and holder of a Master's Degree in Physics Engineering from the University of Minho, was one of the eight winners of the Gulbenkian scientific and technological research grant in the field of Quantum Technologies. |
 |
Last week, SafeCloud Technologies, a spin-off of HASLab/INESC TEC and the University of Neuchâtel, was at Web Summit, one of the largest technology fairs in the world, which was held in Lisbon from 6 to 9 November. |
 |
The INESC TEC's High-Assurance Software Laboratory (HASLab) organized the 14th edition of FACS – the International Conference on Formal Aspects and Software Components, held from October 10 to October 13 in Braga. |
 |
Rui Miguel Ribeiro and Vítor Enes Duarte, both HASLab researchers, defended their master's theses last week and received a grade of 18 and 19, respectively. |
 |
Last week, Clayton Maciel Costa defended his doctoral thesis, titled "Efficient adaptive query processing on large database systems in the cloud environment", which was unanimously approved by the jury. |
 |
The article "Towards a Green Ranking for Programming Languages", authored by HASLab/INESC TEC & UMinho researchers Marco Couto, Rui Pereira, Francisco Ribeiro, Rui Rua and João Saraiva, was awarded the Best Paper Award at SBLP 2017. |
 |
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 7th and 8th 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. |
