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 researcher, Ana Nunes Alonso, concludes her PhD

Ana Nunes Alonso defended in February her doctoral thesis entitled "Database Replication for Enterprise Applications", having received a unanimous evaluation of "very good" from the jury.

Two members of HASLab conclude master’s degrees

Luís Miguel Pinto and Tiago Loureiro, researchers at HASLab, defended their master's dissertations last week, both receiving a final mark of 17 (on a scale of 0 to 20).

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.

Project PRACTICE comes to an end with excellent evaluation

The European project PRACTICE (Privacy-Preserving Computation in the Cloud), where INESC TEC was one of the partners, represented by the High-Assurance Software Laboratory (HASLab), was concluded in 2016 with an excellent evaluation by the European Commission.

HASLab in new European Smart Grids project

The kick-off meeting of European project InteGrid took place on 12 and 13 January, in Lisbon. The project is coordinated by EDP Distribuição and has been approved by the European Commission, as part of the European programme Horizon 2020, with a budget of 15 million Euros and a duration of 42 months.

José Nuno Oliveira is the new Director of HASLab@UMinho

José Nuno Oliveira, professor of the Computer Science Department of School of Engineering of the University of Minho, took office as Director of HASLab@UMinho last Friday, January 13th.

Miguel Matos teaching at Instituto Superior Técnico of the University of Lisbon

Miguel Matos, invited researcher at HASLab@INESC TEC, was chosen for the position of Assistant Professor at Instituto Superior Técnico (IST) of the University of Lisbon. The vacancy was  announced in the Diário da República.

HASLab has twelve more master’s students

Nine HASLab researchers supervised the dissertations of twelve students from the Department of Informatics, who defended their master's theses this month and obtained, on average, an evaluation of 17.5.