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

HASLab member was awarded the “Prémio Escolar Multicert”

Carlos Afonso, a member of HASLab/INESC TEC & UMinho, was the winner of the 2014/2015 edition of the “Prémio Escolar Multicert”. The student was awarded one thousand euros in electronics.

Ana Garis is the latest doctorate of HASLab

Ana Garis, co-supervised by Alcino Cunha in Argentina, defended, last week, her doctoral thesis entitled "Model-driven Software Development with Alloy" and obtained the "excellent" rating.