Nuno Macedo

Post-doctoral Researcher at University of Minho

About Me

I'm a post-doctoral researcher at the HASLab group at the University of Minho. I've recently completed my joint PhD degree on computer science from the Universities of Minho, Aveiro and Porto, on a "Relational Approach to Bidirectional Transformation" under the supervision of Professor Alcino Cunha. Previously I have completed both the Undergraduate and Master degrees on Computer Engineering, at University of Minho.
My research interests are related to the application of Formal Methods to Software Engineering, in particular in the area of model transformation.


BEST CASE (RL8) - Languages and Tools for Critical Real Time Systems

The goal of this project is to contribute to a change to the current paradigm of secure ITC infrastructure, according to which the deployment and operation of a critical system implies security enforcement as a reactive process. This, not only requires a significant management overhead, but also fails to provide rigorous security guarantees. The project pursues the development of the theoretical and technological tools to support this shift, building on the state-of-the-art of formal methods, information security and dependability that, independently, are more consolidated research areas.

FATBIT - Foundations, Applications and Tools for Bidirectional Transformation

This project aims to propose effective bidirectional transformation frameworks for three relevant application domains: model-driven engineering, spreadsheet validation and transformation, and language-based editors defined with attribute grammars. Common to these application domains is the fact that models are non-hierarchical data structures, for which no generic and effective BX framework has yet been proposed. We intend to do so by relying on the point-free relational calculus, a quantifier free formalization of first-order logic, popularized in the algebra of programming community.





< 2012


Academic Degrees

PhD in Computer Science

MSc in Computer Science

BSc in Informatics Engineering


Licenciatura em Engenharia Informática

(BSc, University of Minho)



, a tool for QVT-R bidirectional model transformations using Alloy. [Link]

Alloy model

for the least-change lenses framework. [Link]


Nuno Filipe Moreira Macedo
Full Address
Departamento de Informática
Universidade do Minho
Campus de Gualtar
4710-057 Braga, Portugal
41.561438ºN 8.397195ºW
nfmmacedo AT di DOT uminho DOT pt
Academic Profiles
Google Scholar DBLP LinkedIn DeGóis Scopus ResearcherID ORCID Microsoft Academic ACM Academia.Edu RepositoriUM GitHub