News

José Creissac Campos joins the College of Assessors of New Zealand Ministry of Business, Innovation and Employment

José Creissac Campos, a professor at the University of Minho and a senior researcher of HASLab/INESC TEC, was nominated a member of the College of Assessors of New Zealand Ministry of Business, Innovation and Employment (MBIE).

Carlos Baquero joins Redis Labs’ Technical Advisory Board as CRDTs Expert

Carlos Baquero, an assistant professor at the University of Minho and a senior researcher of HASLab/INESC TEC, joins the Redis Labs’s Technical Advisory Board as CRDTs expert.

HASLab researcher concludes his PhD

Bernardo Portela defended this month his doctoral thesis entitled “A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation”, having received a unanimous evaluation of “very good” from the jury.

European project SafeCloud receives positive evaluation in second year

The European project SafeCloud, Secure and Resilient Cloud Architecture, received a positive assessment in its second year of activity, as part of the European Commission's evaluation, in November, in Brussels.

HASLab/INESC TEC collaborator wins a Gulbenkian research grant in the field of Quantum Technologies

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.

SafeCloud Technologies at Web Summit 2017

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.

HASLab organizes an international conference on Formal Methods

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.

HASLab has two new masters

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.

HASLab researcher Clayton Maciel Costa concludes PhD

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.

Paper on energy efficiency in programming languages ​​receives Best Paper Award at SBLP 2017

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.