Nuno Macedo

PhD Student at University of Minho

About Me

I'm a PhD Student at the HASLab group, University of Minho, Portugal, inserted in the MAP-i Doctoral Program on Computer Science. Previously I have completed both the Undergraduate and Master degrees on Computer Engineering, also at University of Minho.
My research interests are in the area of Formal Methods, in particular program derivation and verification through calculation. Currently I am working on bidirectional transformations (BX) in the context of my PhD Thesis on a "Relational Approach to Bidirectional Transformations" under the supervision of Professor Alcino Cunha and as a member of the FATBIT project.

Projects

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. We intend to do so by relying on the point-free relational calculus, a quantifier free formalization of first-order logic.

Publications

Submitted

2014

2013

< 2012

Talks

Academic Degrees

PhD in Computer Science

(Ongoing)

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