I am full professor at the Computer Science Department, Universidade do Minho, and a senior researcher at the High Assurance Software laboratory, HASLab INESC TEC. In 2019 I joined INL, the International Iberian Nanotechnology Laboratory, as a member of the Quantum and Linear Optical Computation Group. My main research focuses on program semantics, logics and calculi applied to rigorous software analysis, design, and construction. Most of my work is framed on Coalgebra and Modal Logic.
I am a member of IFIP WG1.3 (Foundations of System Specification), and IFIP WG 1.11/2.17 (Foundations of Quantum Computation). Since January 2019 I have been serving as chair of IFIP Tecnhical Committee TC1 on Foundations of Computer Science.
Above all, I am very fortunate to work with an amazing team of students and post-docs. Our joint research is framed in the Logic and Formal Methods group.
Software technology is pre-scientific in its lack of sound mathematical foundations to provide an effective basis to predict and certify programs' behaviour. Compared to other Engineering disciplines, we are somewhere in the 17th century. My research aims at improving scientific standards, seeking rigour and simplicity in software design and architecture through Mathematics.
A proper roadmap for a true Software Engineering discipline, targeting either classical, cyber-physical or quantum systems, has to discuss how systems are modelled and composed, and how properties of their behaviours are anticipated, expressed and verified.
As K. Lewin once put it, `there is nothing so practical as a good theory´..