I am professor of Computer Science at the Informatics Department of University of Minho and researcher at HASLab/ INESC TEC. I am also a member of IFIP WG 2.1 (Algorithmic Languages and Calculi) and of the Formal Methods Europe (FME) Association. I serve on the editorial board of Springer journal Formal Aspects of Computing.

My research interests are focussed on formal methods, algebra of programming (program calculation) and functional programming. I've published recently on relation algebra and its application to programming. Currently, I am developing a linear algebra of programming which I want to apply to the verification of complex software systems, including quantum programming.

I've been teaching formal methods for more than thirty years (since 1984). Currently, I teach a 2nd year course on program calculation (MSc in Informatics Engineering), a 4th year course on relational specification methods (MSc in Informatics Engineering) and a PhD course (MAP-i Doctoral Program in Computer Science) on the application of categorial techniques to quantitative modelling of complex systems.



  •  NASONI Project (FCT: Heterogeneous software coordination: Foundations, methods, tools, on-going)
  •  QAIS (Quantitative analysis of interacting systems: foundations and algorithms, on-going)
  •  MONDRIAN  (Foundations for architectural design , 2010-13)

(among others in the past)