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.
- 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)