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

HASLab participates in the UPGRID project

The High-Assurance Software Laboratory is part of the team of the UPGRID European project, one of the projects that will bring to Portugal a smart electric power grid demonstrator in 2017.

HASLab concludes project with PT Inovação/Altice Labs

The OSSaaS (Operations Support Systems as a Service), a project promoted by PT Inovação/Altice Labs where HASLab/INESC TEC was one of the partners, ended at the end of January 2016.

Protocol between INESC TEC and National Institute of Informatics takes HASLab researchers to Japan

Following the signing of a memorandum of understanding between INESC TEC and the National Institute of Informatics (NII), in Tokyo (Japan) in 2014, two HASLab researchers had the opportunity to do an internship at the Japanese institution.

HASLab creates platform in partnership with IPO-Porto

Researchers from HASLab/INESC TEC & UMinho have created, a web platform that provides a space for cancer patients to share experiences and information. The platform has been developed in collaboration with IPO-Porto and Nuno Martins, professor at Instituto Politécnico do Cávado e do Ave (IPCA).