- Menu
The Foundation for Science and Technology (FCT) competition accepted KLEE, Coalgebraic Modelling and Analysis for Computational Synthetic Biology as the new research project of the High-Assurance Software Laboratory (HASLab) of INESC TEC, which aims the development of coalgebraic models for synthetic biology.
14th March 2018
Saving lives through the reduction of mistakes in the use of medical devices. That is the purpose that moved researchers from the High-Assurance Software Laboratory (HASLab) of INESC TEC to participate in an international programme that intends to reduce the number of mistakes associated with the use of equipment such as glucose monitor or hemodialysis machine, improving its safety and resulting performance.
01st February 2018
José Creissac Campos, senior researcher of High-Assurance Software Laboratory (HASLab) of INESC TEC and professor at the University of Minho, was nominated a member of the College of Assessors of New Zealand Ministry of Business, Innovation and Employment (MBIE).
31st January 2018
The European project SafeCloud, Secure and Resilient Cloud Architecture, received a positive assessment in its second year of activity, as part of the European Commission's evaluation, in November, in Brussels.
17th January 2018
Afonso Rodrigues, INESC TEC’s collaborator and student in the Integrated Master's in Physics Engineering at University of Minho, was one of the eight winners of a Gulbenkian scientific and technological research grant, in the context of Quantum Technologies.
04th January 2018
Web Summit, the largest European conference on entrepreneurship, technology and innovation, had the participation of 2100 startups, which tried their luck to obtain funding. Two of these originated in INESC TEC: SafeCloud Technologies and MitMyNid.
18th December 2017
The High-Assurance Software Laboratory (HASLab) of INESC TEC organised the 14th edition of FACS – International Conference on Formal Aspects of Component Software, which took place between the 10th and the 13th of October in Braga.
31st October 2017
Rui Oliveira, member of the board of INESC TEC, researcher at the High-Assurance Software Laboratory (HASLab), professor at the School of Engineering of the University of Minho and member of the Board of Directors of INESC TEC, concluded on the 7th and 8th of September his habilitation exams at the University of Minho, which were unanimously approved by the members of the jury.
13th October 2017
The article "Towards a Green Ranking for Programming Languages", authored by Marco Couto, Rui Pereira, Francisco Ribeiro, Rui Rua and João Saraiva, researchers at the High-Assurance Software Laboratory (HASLab) of INESC TEC, was awarded the Best Paper Award at SBLP 2017.
06th October 2017
The Computation Without Borders activity, organised mainly by HASLab researchers, had another edition this year, with the aim of promoting Computer Science among secondary school students.
21st September 2017
The article entitled "Similarity aware shuffling for the distributed execution of SQL window functions", authored by Fábio Coelho, José Pereira and Rui Oliveira from INESC TEC, together with Miguel Matos from INESC-ID, was selected for the Best Paper Award of DAIS 2017.
29th June 2017
Rui Pereira, PhD student and researcher at HASLab – High Assurance Software Laboratory of INESC TEC, took second place in the ACM Student Research Competition at ICSE 2017, with the work “Locating energy hotspots in source code”.
02nd June 2017