Foundations, Applications and Tools for Bidirectional Transformations, FCT funded, 2011 - ...

Bidirectional Transformations Applied to Programming Environments for Scientific Computing, a joint research project with U.S. partners Eric Van Wyk, Ted Kaminski and Kevin Williams, all at the University of Minnesota, funded by Fundação Luso Americana para o Desenvolvimento under the program Portugal-U.S. Research Networks 2011

SSaaPP -SpreadSheets as a Programming Paradigm, FCT funded, 2010 - ...

Strictification of Circular Programs, a joint research project with German partners Janis Voigtlander and Daniel Seidel, both at the University of Bonn, approved by FCT and DAAD, 2010 - ...

PURe - Program Understanding and Re-engineering: Calculi and Application, FCT funded, 2003-2006