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".
This research resulted from the PhD thesis "Foundations and Techniques for Software reconfigurability" defended by Alexander Madeira at the University of Minho in July 2013.The thesis was developed within the doctoral program MAP-i, which integrates the university of Minho, Porto and Aveiro, having been supervised by the researcher lectures Luís Soares Barbosa (U.Minho), Manuel António Martins (U.Minho) and Razvan Diaconescu (Institute of Mathematics "Simion Stoilow", Romania).
The MAP-I wins its first IBM Scientific Prize, the most important Portuguese scientific award in Information Technology and Computer Science and is strongly recognized in the scientific community.
IBM Portugal instituted the Scientific Award in 1990 with the purpose of distinguish works in several fields of knowledge, from economics, humanities or arts, applied to Computer Science, intending to foster the relationship between the industrial and academic communities and scientific investigation.
To recall that in 2011 the IBM Award was given to another HASLab researcher, Alexandra Martins da Silva , with the work "Coálgebra Kleene". The researcher became the first woman to be awarded with this distinction.
Source: http://bip.inescporto.pt/150/noticia-pd01.html