Renato Neves and Cláudio Belo Lourenço defended their doctoral theses entitled “Hybrid Programs” and “Single-assignment Program Verification”, respectively. Both researchers received an unanimous evaluation of “very good” from the jury. |
![]() |
The archiving processing of the collection of the WG2.1 – Algoritmi Languages and Calculiwork group 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. |
![]() |
Alberto Faria, Francisco Ribeiro and Ricardo Macedo, researchers from HASLab, received the Excellence Grant of UMinho, of pecuniary value equal to the monthly tuition fee, which is granted to all undergraduate and integrated master students with the highest application grade of each year, provided the classification is equal to or higher than 16. The ceremony took place on the 6thJune, in the Medieval Hall of the Rectorate. |
![]() |
Rui Oliveira, Professor at the University of Minho and INESC TEC’s member of the Board presented the Minho Advanced Computing Centre (MACC), which should be functional at the beginning of 2019. The professor also challenged the regional industrial base to take advantage of the biggest national computer. |
![]() |
José Nuno Oliveira, senior researcher from HASLab was invited to speak in the Porto Tech Hub conference, an event that took place last Friday at Alfândega Porto Congress Center. |
![]() |
The paper “Using Automatic Refactoring to Improve Energy Efficiency of Android Apps” was awarded with the Best Paper Award in the XXI Ibero-American Conference on Software Engineering (CIbSE 2018) that took place in Bogotá, Colombia on 23 and 27 April. |
![]() |
DaVinci, Distributed Architectures: Variability and Interaction for Cyber-Physical Systemsis the new research project of INESC TEC’S High Assurance Software Laboratory (HASLab) that was recently approved by the Foundation for Science and Technology (FCT) and that aims to analyse and implement distributed software systems based on cyber-physical components. |
![]() |
The EuroSys - European Conference on Computer Systems, which is one of the world’s largest conferences on computer systems, took place in the city of Porto between 23 and 26 April. Around 300 participants from all over the world attended this conference, known as one of the largest international conferences on computer systems. |
![]() |
João Tiago Paulo, INESC TEC’s collaborator of the High Assurance Software Laboratory (HASLab), was one of the fifteen finalists present at the ERCIM 2017 Cor Baayen Young Researcher Award. |
![]() |
Jorge Mendes defended, last week, his doctoral thesis entitled " Design, Implementation and Evaluation of Model-Driven Spreadsheets", having received a unanimous evaluation of "very good" from the jury. |