- Menu
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
The European project PRACTICE (Privacy-enhanced and Secure Computations on Potentially Malicious Clouds), where INESC TEC was one of the partners, represented by the High-Assurance Software Laboratory (HASLab), was concluded in 2016 with an excellent evaluation by the European Commission.
21st February 2017
The kick-off meeting of European project InteGrid took place on 12 and 13 January, in Lisbon. The project is coordinated by EDP Distribuição and has been approved by the European Commission, as part of the European programme Horizon 2020, with a budget of 15 million Euros and a duration of 42 months.
20th January 2017
The European project CloudDBAppliance, where the goal is to create a platform to provide databases as a service at European level, started in December, in Grenoble, France.
23rd December 2016
The European project SafeCloud has received positive feedback from its first year of activity as a result of the European Commission's evaluation, which took place in November in Brussels.
19th December 2016
INESC TEC, together with EDP Distribuição, Withus - Inovação e Tecnologia and NOS, is conducting a national survey in order to understand the country’s knowledge of smart grids.
01st December 2016
Two of the five most interesting business ideas presented by Portuguese entrepreneurs on the first day of the Web Summit are projects related to INESC TEC - Kinematix and SafeCloud.
22nd November 2016
European project CoherentPaaS (Coherent and Rich PaaS with the Common Programming Model), where INESC TEC’s High-Assurance Software Laboratory (HASLab) is partner, was concluded in October. According to the final evaluation of the European Commission, held in Madrid, the results were “very positive”, the team achieved the objectives outlined and did “excellent technical work”.
27th October 2016
INESC TEC’s High-Assurance Software Laboratory (HASLab) started two new software engineering projects, TRUST and DaLí. The projects, which started on 19 and 20 September at the University of Minho, have secured a total of 250 thousand euros of funding.
30th September 2016