Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
News

News by High-Assurance Software

Institutional

INESC TEC’s collaborator wins a Gulbenkian research grant

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

Institutional

INESC TEC startups at the largest technological conference

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

Institutional

INESC TEC organises international conference on Formal Methods

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

Institutional

INESC TEC researcher concludes habilitation exams

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

Institutional

Paper on energy efficiency in programming languages receives Best Paper Award

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

Institutional

HASLab participates in the “Summer on the Campus 2017” programme of UMinho

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

Institutional

SQL Window Functions article receives Best Paper Award of DAIS 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

Institutional

INESC TEC’s researcher wins silver medal in ACM Student Research Competition

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

Institutional

Project PRACTICE comes to an end with excellent evaluation

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

Institutional

INESC TEC in new European Smart Grids project

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

Institutional

5M€ to develop European databases on the cloud

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

Institutional

European project SafeCloud achieves positive evaluation in the first year

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

  • 10
  • 14