Luís Soares Barbosa, researcher of the High-Assurance Software Laboratory of INESC TEC and Professor at the University of Minho and United Nations University, was elected last Thursday, 24 January, Chair of Technical Committee 1 on Foundations of Computer Science (IFIP TC1), an international board devoted to the development of theoretical computer science […]