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.

Jorge Sousa Pinto passes the habilitation exam

Jorge Sousa Pinto, a member of HASLab/INESC TEC and a teacher at the Department of Informatics of University of Minho, obtained, last Friday, the academic degree of habilitation by unanimity of the jury members.

Nine new master students graduated from HASLab

Nine students with supervisors from HASLab/INESC TEC and UMinho, and students from MEI - Master in Computer Engineering, defended last week their master’s theses, with an overall average of 17 points.

Paper by Ricardo Gonçalves quoted in Basho Blog and RICON’s Twitter

Basho Blog, the blog of one of the most important companies in the area of Distributed Systems, has cited a paper on Dotted Version Vectors (DVV) co-authored by Ricardo Gonçalves, a doctoral student conducting research at HASLab/INESC TEC & UMinho.

HASLab was present in the ICT 2015

HASLab participated in the ICT 2015 event - Innovate, Connect, Transform as a member of INESC TEC. The event was held at the Congress Centre in Lisbon (CCL) from the 20th to the 22nd of October, and counted with more than 6000 participants, 130 speakers and 150 innovative projects from around the world.