Promo

News

HASLab’s Software Engineering team with top-tier publications on the way

The Software Engineering team at HASLab recently had four publications accepted in the very top conferences and journals in the area. Rui Abreu, Alcino Cunha, Nuno Macedo, Paolo Masci, Alexandre Perez and José Campos, together with their co-authors, had papers accepted at the journal IEEE Transactions on Software Engineering and the International Conference on Software Engineering.

HASLab/INESC TEC researcher receives "Privacy Protection" award

Manuel Barbosa, a researcher at INESC TEC's High-Assurance Software Laboratory (HASLab) and a professor at the Faculty of Science of the University of Porto (FCUP), was one of the members of a European research team who received a "Privacy Protection" award.

LightKone is the new European project that will innovate edge networks

LightKone, Lightweight Computation for Networks at the Edge, is the new European project featuring INESC TEC, represented by the High-Assurance Software Laboratory (HASLab), whose goal is to develop a scientifically solid and validated model to perform distributed computing in edge networks.