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.

João Ferreira is the academic leader in project to give systems firm competitive edge

João Ferreira, a researcher of HASLab/INESC TEC and an associate professor at Teesside University in the United Kingdom, is carrying out a project with three other researchers at the same university, developed under a Knowledge Transfer Partnership (KTP), which aims to increase the competitiveness and productivity of a systems company through better use of knowledge, technology, and skills.

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.