On 24 January, Luís Soares Barbosa, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the University of Minho and at the United Nations University, was elected Chair of the Technical Committee 1 - Foundations of Computer Science (IFIP TC1), an international committee that aims at the development of the theory and computer science and of its bridges with other domains of knowledge and socially relevant applications.
08th February 2019
The project “Outsystems Learnability Model”, which started in May 2018 and lasted for six months, aimed at defining a strategy to analyse the experience of using the OutSystems platform, in order to support its improvement.
08th January 2019
Between 26 and 29 November, José Creissac Campos, senior researcher of the High Assurance Software Laboratory (HASLab) of INESC TEC, and Professor at the University of Minho, visited the Laboratory of Human-Computer Interaction for Special Needs that is part of the University of the Basque Country, where he promoted the field of work in formal methods.
28th December 2018
On 27 September, took place the third and final assessment by the European Commission of the SafeCloud project. The project was led by INESC TEC's High-Assurance Software Laboratory (HASLab). With an investment of over three million euros, the project focused on the area of cloud infrastructures that, despite their many advantages, still present several challenges of privacy and integrity to data storage and processing.
04th October 2018
Integrated in the 10th Summer in the Campus Programme of the University of Minho, the activity Computing Without Borders was organized by the Informatics Department in collaboration with HASLab.
17th September 2018
Carlos Baquero, researcher of the High-Assurance Software Laboratory (HASLab) and Professor at the School of Engineering of the University of Minho completed the habilitation exams on 26 and 27 July at the University of Minho, being unanimously approved by the members of the jury.
07th September 2018
The European project CloudDBAppliance achieved a positive assessment in the first 18 months of activity under the European Commission’s assessment that took place on 6 July in Brussels.
07th September 2018
The “Chain-in: International Industrial & Academic Conference on Blockchain Technology” took place on 9 and 10 July and was organised by INESC TEC.
12th July 2018
The archiving processing of the collection of the WG2.1 – Algoritmi Languages and Calculi workgroup of the International Federation for Information Processing (IFIP) was presented on 20 June at the Braga District Archive (ADB) and received the support of INESC TEC, of the University of Minho and of the Primavera Business Software.
27th June 2018
DaVinci, Distributed Architectures: Variability and Interaction for Cyber-Physical Systems is the new research project of INESC TEC’S High Assurance Software Laboratory (HASLab) that was recently approved by the Foundation for Science and Technology and that aims to analyse and implement distributed software systems based on cyber-physical components.
20th June 2018
On 24 May, a project of INESC TEC developed in partnership with the Portuguese Mint and Official Printing Office (INCM) was one of the highlighted presentations of the innovative ideas exhibition, that have already been implemented or that are still being developed by INCM.
18th June 2018
José Nuno Oliveira, researcher from the INESC TEC's High-Assurance Software Laboratory (HASLab), was invited to speak in the Porto Tech Hub conference, an event that took place on the 18th May at Alfândega Porto Congress Center.
08th June 2018
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.