News

Alexandra Silva was awarded a grant by the European Research Council

Alexandra Silva, a senior lecturer at University College of London and a researcher of HASLab/INESC TEC & UMinho was one of the researchers awarded with a starting grant of 1.5 million Euros from the European Research Council (ERC).

José Manuel Valença joins Scientific Council for exact sciences and engineering of FCT

José Valença, a full professor at the University of Minho and a researcher at HASLab/INESC TEC & UMinho, joined, last month, one of the Scientific Councils of the “Fundação para a Ciência e a Tecnologia” (FCT).

Five more master students graduated from HASLab

Francisco Neves, Vítor Pereira, Óscar Pereira, André Santos and João Miranda defended, their master's thesis in the past two weeks. Starting in 2014 and framed in different topics and areas, the students achieved, on average, a rating of 18 values out of 20.

Carlos Eduardo Silva develops a framework that automatically analyzes web applications

Carlos Silva, PhD researcher of HASLab / INESC TEC & UMinho, defended his doctoral thesis entitled "Reverse Engineering of Web Applications" on September 25th which presents the framework FREIA.

José Nuno Oliveira honored in Guimarães

José Nuno Oilveira, HASLab researcher and professor at the University of Minho, was honored last Saturday in Guimarães with a Festschrift Symposium.

HASLab researchers publish in IEEE Transactions on Human-Machine Systems

José Creissac Campos and Michael Harrison, researchers of HASLab, along with researchers from other institutions, have published “Formal Verification of a Space System's User Interfaces with the IVY workbench” in IEEE Transactions on Human-Machine Systems, a top 10 HCI journal according to SCImago.

HASLab director integrate the board of INESC TEC

Rui Oliveira, director of High-Assurance Software Laboratory, is one of the new members of the board of INESC TEC.

Doctoral Programmes 2015 | 2016

See the doctoral programmes that the Department of Informatics and HASLab have for you!
- MAP-I - Doctoral Programme in Computer Science 
- PDINF - Doctoral Programme in Informatics

Francisco Moura wins the silver medal in the world maters MTB Orienteering Championship

Francisco Moura, an athlete of the Montes e Vales company and one of HASLab‘s  oldest researchers, participated, last weekend, in the World Masters Mountain Bike Orienteering Championship 2015 (WMMTBOC’15) and took the silver medal in the middle distance race and the fourth place in the long distance race.

CoherentPaaS: massive data management for the digital single market
HASLab has an article dedicated to CoherentPaaS project named " CoherentPaaS: Massive data management for the Digital Single Market" on Digital Agenda for Europe.