News

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¹.

HASLab organized 3rd edition of Open Day and launches SafeCloud Photos

The High-Assurance Software Laboratory of INESC TEC - research subunit of UMinho - organized the third edition of Open Day HASLab on 8 September and launched the SafeCloud Photos. The event was attended by over 70 participants and focused on the theme "Software Quality".

HASLab participates in Summer on Campus 2016

Computer Science without Borders is the name of the activity mainly organised by HASLab researchers that promote the areas of Informatics and Computer Science at the 9th edition of the Summer on Campus of the University of Minho. 24 vacancies, 24 registered.

Researchers from HASLab received honourable mention award at EICS 2016

José C. Campos, a professor at the University of Minho, and Michael Harrison, both researchers from HASLab/INESC TEC, were awarded an honourable mention in the EICS 2016 conference, for the paper "Modelling information resources and their salience in medical device design", which also counted on the collaboration of Rimvydas Rukšénas and Paul Curzon, researchers from Queen Mary University of London.

José Creissac Campos elected president of IFIP working group

José Creissac Campos, researcher from HASLab/INESC TEC and professor at the University of Minho, was recently elected president of the working group 2.7/13.4 of IFIP, International Federation for Information Processing.

Filipe Campos is the latest PhD holder of HASLab

Filipe Campos, a researcher of HASLab/INESC TEC & UMinho, defended his doctoral thesis "Fault Tolerant Service Integration" last week, achieving a grade of "very good”.

Member of HASLab establishes INESC TEC Young Scientists group

Ali Shoker, post-doctoral researcher of HASLab/INESC TEC & UMinho, founded INESC TEC Young Scientists group last week. This group aims at the production of science and life amongst all centres of R&D of INESC TEC via the three pillars of action: Research and Teaching, Social Activities and Technology and Development.

HASLab researchers promoted the PT- FLAD Chair in Smart Cities and Smart Governance

Luís Soares Barbosa, professor at the School of Engineering of the University of Minho, and Sara Fernandes, both researchers of HASLab/INESC TEC & UMinho, acted as promotors of the PT- FLAD Chair in Smart Cities and Smart Governance, whose founding protocol was signed last week in the Couros Campus. The aim of the Chair is to consolidate the research on Smart Cities and Smart Governance within the University, and foster partnerships and innovation projects with the public and private sector.

Georges Younes accepted in Google Summer of Code 2016

Georges Younes, researcher at HASLab/INESC TEC & UMinho and PhD student at the Doctoral Programme in Computer Science (MAP- i), will receive funding from the Google Summer of Code programme 2016 - a global programme funded by Google with a view to include students in the areas of Informatics and Computer Science in the development of open source software.

HASLab has a new PhD holder

Nuno Cardoso, researcher of HASLab /INESC TEC & UMinho, defended his doctoral thesis entitled "Spectrum-based Diagnosis for Run-time Systems" last week, and was approved by the jury.