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.

Projects

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.

Publications

Submitted

2014

2013

< 2012

Talks

Academic Degrees

PhD in Computer Science


MSc in Computer Science


BSc in Informatics Engineering


Teaching

Licenciatura em Engenharia Informática

(BSc, University of Minho)

Tools

Echo

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

Alloy model

for the least-change lenses framework. [Link]

Contact

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