Filipe Campos is the latest PhD holder of HASLab

Filipe Campos, a researcher of HASLab/INESC TEC & UMinho, defended his doctoral thesis "Fault Tolerant Service Integration" last week, achieving a grade of "very good”.

Member of HASLab establishes INESC TEC Young Scientists group

Ali Shoker, post-doctoral researcher of HASLab/INESC TEC & UMinho, founded INESC TEC Young Scientists group last week. This group aims at the production of science and life amongst all centres of R&D of INESC TEC via the three pillars of action: Research and Teaching, Social Activities and Technology and Development.

HASLab researchers promoted the PT- FLAD Chair in Smart Cities and Smart Governance

Luís Soares Barbosa, professor at the School of Engineering of the University of Minho, and Sara Fernandes, both researchers of HASLab/INESC TEC & UMinho, acted as promotors of the PT- FLAD Chair in Smart Cities and Smart Governance, whose founding protocol was signed last week in the Couros Campus. The aim of the Chair is to consolidate the research on Smart Cities and Smart Governance within the University, and foster partnerships and innovation projects with the public and private sector.

Georges Younes accepted in Google Summer of Code 2016

Georges Younes, researcher at HASLab/INESC TEC & UMinho and PhD student at the Doctoral Programme in Computer Science (MAP- i), will receive funding from the Google Summer of Code programme 2016 - a global programme funded by Google with a view to include students in the areas of Informatics and Computer Science in the development of open source software.

HASLab has a new PhD holder

Nuno Cardoso, researcher of HASLab /INESC TEC & UMinho, defended his doctoral thesis entitled "Spectrum-based Diagnosis for Run-time Systems" last week, and was approved by the jury.

Researchers at HASLab/INESC TEC receive best paper award

HASLab/INESC TEC researchers Manuel Barbosa and José Bacelar Almeida, have received the best paper award at the 2016 Fast Software Encryption Conference, which took place in March. 

HASLab publishes article in Communications of the ACM for the first time

Carlos Baquero, researcher at HASLab/INESC TEC and professor at University of Minho, is the first HASLab researcher to have an article published in the specialised magazine Communications of the ACM.

HASLab welcomes “2016 Best Students at UMinho Programme”

Between 29 and 31 March, INESC TEC’s High Assurance Software Laboratory (HASLab) welcomed two high school students who choose to spend three days at HASLab as part of the "2016 Best Students at Minho Programme".

Project LeanBigData makes excellent progress

LeanBigData, a European project where HASLab/INESC TEC is partner, has recently undergone its second European Commission review, and according to the evaluation committee the project has made an excellent progress, and technically exceeded the reviewers’ expectations, having achieved all the goals established. The review took place in March, in the Grand Duchy of Luxembourg.

HASLab discusses usability and safety of programmable medical devices at INFARMED

In the end of February, HASLab researchers gave a seminar about usability and safety of programmable medical devices at INFARMED - Autoridade Nacional do Medicamento e Produtos de Saúde (Portuguese Authority of Medicines and Health Products).