News

HASLab participates in the Porto Tech Hub conference

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.

Researcher from HASLab receives the Best Paper Award in the XXI Ibero-American Conference on Software Engineering

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 is the new research project of HASLab

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.

HASLab hosts one of the largest conferences on computer systems

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.

HASLab’s researcher was nominated for the cor Baayen Young Researcher Award of the ERCIM

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 concludes his PhD

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.

KLEE is the new HASLab research project

FCT competition accepted KLEE, Coalgebraic Modeling and Analysis for Computational Synthetic Biology as the new HASLab research project, which aims the development of  coalgebraic models for synthetic biology.

Rui Lima concludes his PhD

Rui Lima defended last month his doctoral thesis entitled “Broadcast Cancellation in Unstructured Networks” and was approved with a unanimous evaluation from the jury.

José Creissac Campos joins the College of Assessors of New Zealand Ministry of Business, Innovation and Employment

José Creissac Campos, a professor at the University of Minho and a senior researcher of HASLab/INESC TEC, was nominated a member of the College of Assessors of New Zealand Ministry of Business, Innovation and Employment (MBIE).

Carlos Baquero joins Redis Labs’ Technical Advisory Board as CRDTs Expert

Carlos Baquero, an assistant professor at the University of Minho and a senior researcher of HASLab/INESC TEC, joins the Redis Labs’s Technical Advisory Board as CRDTs expert.