News

HASLab/INESC TEC investigator wins the Scientific Prize IBM Portugal

Alexander Madeira, a researcher at the High-assurance Software Laboratory (HASLab) of INESC TEC, won the Scientific Prize IBM Portugal 2013 with the project " Logic Hybridization : a generic approach to software reconfigurability".