News:

I will proudly serve on the Program Committee for PEPM'13. Please consider submitting interesting papers!

A Quality Model for Spreadsheets paper accepted for publication at the International Conference on the Quality of Information and Communications Technology (QUATIC'12).

Towards an Evaluation of Bidirectional Model-driven Spreadsheets paper accepted for publication at User evaluation for Software Engineering Researchers (USER'12), an ICSE'12 Workshop.

A Bidirectional Model-driven Spreadsheet Environment poster accepted for presentation at the Posters Session of the 34th International Conference on Software Engineering 2012 (ICSE'12).

Program and Aspect Metrics for Matlab paper accepted for publication at the 12th International Conference on Computational Science and Its Applications (ICCSA'12).

Resumed me:
In 2009, I have successfully defended my PhD thesis entitled "Design, Implementation and Calculation of Circular Programs."

Before, I graduated in Mathematics and Computer Sciences, class of 03/04.

I am currently a Postdoc researcher at the Informatics Department, University of Minho, and a research member of the FCT funded research projects:

• SpreadSheets as a Programming Paradigm
• Foundations, Applications and Tools for Bidirectional Transformation

In my research I pursue rigorous ways to reason about programming, which I have successfully been able to apply in the context of functional programming, spreadsheets, language engineering and bidirectional transformations.