Researchers of HASLab conclude their PhD

Renato Neves and Cláudio Belo Lourenço defended their doctoral theses entitled “Hybrid Programs” and “Single-assignment Program Verification”, respectively. Both researchers received a unanimous evaluation of “very good” from the jury.

Documentation archive of programming languages pioneers receives support from INESC TEC

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.

Researchers from HASLab awarded with the Excellence Grant of UMinho

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.