News

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.

European CloudDBAppliance project has already kicked off

The European CloudDBAppliance project, which aims to create a platform that offers databases as a service at European level, kicked off last week in Grenoble, France. This project will be funded with about €5M by the European Commission.

Luís Soares Barbosa obtained the title of “Agregado”

Luís Soares Barbosa, a researcher of the High-Assurance Software Laboratory (HASLab) and professor of the School of Engineering of the University of Minho, completed the public exam to obtain the title of “Agregado”in December, which was unanimously approved by the members of the jury.

European Project SafeCloud receives positive evaluation in first year

The European project SafeCloud received a positive assessment in its first year of activity from the European Commission, which took place in November in Brussels.

Better multimedia information management with Cloud Setup

The High-Assurance Software Laboratory (HASLab), together with the Multimedia Telecommunications Centre (CTM), will represent INESC TEC in the Cloud Setup project, a project promoted by the consortium between MOG Technologies and INESC TEC.

Francisco Cruz is the latest PhD holder of HASLab

Francisco Cruz’s doctoral thesis defence (held in November) was unanimously approved by the jury with "very good”. The doctoral thesis was entitled "Towards autonomic workload aware NoSQL databases”.

SafeCloud stands out in 2016 Web Summit

The SafeCloud business idea was on display at the 2016 Web Summit, one of the largest fairs of technology, innovation and entrepreneurship. With a mobile application focused on ensuring maximum privacy of all uploaded photos, SafeCloud was highlighted by Observador as one of the top five business ideas of this year's Web Summit. 

The European Project CoherentPaaS has come to an end

The European project CoherentPaaS (Coherent and Rich PaaS with a Common Programming Model), which included the High-Assurance Software Laboratory (HASLab) as a partner, has come to an end in October. According to the final evaluation of the European Commission, held in Madrid, the results were "very positive", and the team achieved the objectives outlined as well as carried out "excellent technical work".

Projects TRUST and DaLí have kicked off

This month the High-Assurance Software Laboratory (HASLab) - R&D centre of INESC TEC and research subunit of the University of Minho - has initiated two new projects in the areas of Software Engineering. In total, the TRUST and DaLí projects will receive over 250 thousand euros in funding¹.