I'm a member (and currently co-cordinator) of the High-Assurance Software Laboratory, a research center of University of Minho and of the INESC TEC associate laboratory. I'm also assistant professor at the Department of Informatics of University of Minho.


In the last years I've taught several courses on formal methods, functional programming, program calculation, algorithms and data structures.

Research projects

I'm currently involved in the following projects:
  • TRUST: Trustworthy Software Design with Alloy
  • LightKone: Lightweight Computations for Networks at the Edge
  • PTCRISync: An ORCID based synchronization framework for the portuguese CRIS ecosystem
  • COST IC1405: Reversible computation - extending horizons of computing
Some of my past projects:
  • FATBIT: Foundations, Applications and Tools for Bidirectional Transformation
  • PURe: Program Understanding and Re-engineering: Calculi and Applications
  • EVOLVE: Evolutionary validation, verification and certification
  • PROVA: Platform for Software Verification and Validation


A full list of my publications can be found here, at DBLP, or at Google Scholar.


My current students are:
  • André Santos (PhD)
  • Chong Liu (PhD)
A full list of my present and past students can be found here.

Program committees

  • 7th international workshop on Bidirectional Transformations (Bx'18).
  • 4th international workshop on Bidirectional Transformations (Bx'15). Co-chair.
  • 1st international workshop on Haskell And Rewriting Techniques (HART'13).
  • 1st international conference on Model-Driven Engineering and Software Development (MODELSWARD'13).
  • 5th international conference on Model Transformation (ICMT'12).
  • 1st international workshop on Bidirectional Transformations (Bx'12).
  • 3rd international workshop on Mathematically Structured Functional Programming (MSFP'10).

Other professional activities


I love to travel, photography, and cycling.


Departamento de Informática
Universidade do Minho
Campus de Gualtar
4710-057 Braga