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. I am a member of IFIP WG1.3 (Foundations of System Specification), and, since January 2019 chair of IFIP Technical Committee TC1, on Foundations of Computer Science. Previously, from 2013 to 2018, I have served as Portugal representative in this Committee.
My main research focuses on program semantics, logics and calculi applied to rigorous software analysis, design, and construction. I am particularly interested in the architectural dimension (interaction, composition, and reconfiguration) of different sorts of software components, namely nondeterministic, probabilistic, quantum, continuous, or hybrid. Most of my work is framed on Coalgebra and Modal Logic.
More recently I became interested in exploring connections between Physics and Computation at two levels: the discrete-continuous frontier and the classic-quantum interaction. In this context, I've recently joined INL, the International Iberian Nanotechnology Laboratory, to lead the new Quantum Software Engineering Group. I am also serving in the coordination teams of the MSc on Physics Engineering and QuantaLab, a collaborative research initiative on Quantum Materials and Quantum Technologies.
I have a second academic affiliation to the United Nations University, currently serving as Deputy Head of its Operational Unit on Policy-driven Electronic Governance. UNU-EGOV is an international think-tank devoted to multidisciplinary research on how digital transformation may contribute to empowered democratic citizenship, trustworthy public infrastructures, more inclusive societies and, in broad terms, to sustainable development.
Above all, I am very fortunate to work with an amazing team of students and post-docs. Our joint research is framed in the ARCA Software Architecture & Design Calculi group.