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

Computer Science

INESC TEC participates in project to improve the performance of supercomputers

Advanced computing (High Performance Computing - HPC) provides more resources and better performance than ordinary computers, in order to solve complex engineering and scientific problems, while contributing to technological developments in several areas, such as healthcare, environment and natural sciences. 

01st July 2020

Computer Science

INESC TEC researcher concludes habilitation exams at UMinho

On June 3 and 4, José Creissac Campos, senior researcher at INESC TEC’s High-Assurance Software Laboratory (HASLab) and lecturer at the School of Engineering of the University of Minho, concluded the habilitation exams at UMinho, with unanimous approval by the members of the jury.

22nd June 2020

Computer Science

INESC TEC attains first software patent in the U.S.A.

For the first time ever, INESC TEC obtained a software patent in the United States of America, thanks to the technology used in the mobile cryptocurrency wallet developed by the spin-off Keyruptive.

15th June 2020

Computer Science

INESC TEC researcher takes part in international study to determine the incidence of the pandemic

An international team of researchers, including INESC TEC’s collaborator at the High Assurance Software Laboratory (HASLab), Carlos Baquero, developed an open social media survey in order to estimate the number of confirmed cases with COVID-19 symptoms and monitor their evolution in eleven countries.

15th April 2020

Computer Science

INESC TEC developed an application for managing large databases in real time

Nowadays, database management and updating is a key concern for large companies. In order to perform said critical tasks, the purchase of dedicated hardware is the solution found by most organisations; however, this leads to expenses in terms of hardware management and maintenance, and often the need to allocate human resources. Now, there’s a cloud platform that aims to meet the market demands, with a more reliable and cost-effective technology that can be updated in real time.

11th January 2020

Computer Science

HASLab welcomes students from the 2019 Best Student programme at University of Minho

On December 19th, INESC TEC’s High-Assurance Software Laboratory (HASLab) welcomed six students from Braga, Guimarães, Santo Tirso and Terras de Bouro, who chose HASLab to discover and become familiar with the work of a researcher in the IT field. This event was part of the 2019 edition of the Best Student programme at UMinho.

07th January 2020

Computer Science

Last lesson of José Manuel Valença with a full house

José Manuel Valença, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Full Professor at the School of Engineering of the University of Minho, lectured his last lesson on 18 October at the University of Minho in Braga.

13th November 2019

Computer Science

INESC TEC participates in an international conference on the reliable distributed systems area

A team of researchers of INESC TEC’s High-Assurance Software Laboratory (HASLab) participated at the 38th International Symposium on Reliable Distributed Systems (SRDS 2019), which took place in Lyon, France, from 1 to 4 October, presenting four scientific papers and organising a workshop, among other tasks.

13th November 2019

Computer Science

INESC TEC organises world congress with 600 professionals in the computer science field

The FM’19 – 3rd World Congress on Formal Methods, an event that gathers the worldwide computer experts, took place in Porto between 7 and 11 October.

31st October 2019

Computer Science

Most influential paper of the VL/HCC 2019 conference was co-written by INESC TEC

The paper “Automatically Inferring ClassSheet Models from Spreadsheets”, co-written by João Saraiva, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Professor at the School of Engineering of the University of Minho, was awarded the Most Influential Paper from the VL/HCC 2019 international conference, which took place in Memphis, Tennessee, USA, between 14 and 18 October.

23rd October 2019

Computer Science

INESC TEC receives students of the Summer on the Campus 2019

The Computation Without Borders, an activity integrated in the Summer on the Campus 2019 programme and organised in collaboration with INESC TEC's High-Assurance Software Laboratory, had the participation of 28 secondary school students and took place between 22 and 26 July in the Department of Informatics of the University of Minho, in Braga.

16th August 2019

Computer Science

INESC TEC researchers elected for the School and Scientific Boards of EEUM

Luís Soares Barbosa, researcher of INESC TEC’s High-Assurance Software Laboratory (HASLab) and Rui Carlos Oliveira, member of INESC TEC's board and also researcher of HASLab, were elected for the School and Scientific Boards of the School of Engineering of the University of Minho (EEUM), respectively

30th July 2019

  • 1
  • 8