Welcome!

Hi, I am a post-doc at Cornell University, working under Nate Foster from the Programming Languages Group. My main research interests are on areas related to Bidirectional Programming, Formal Methods, Functional Programming or Model Transformations.


Previously, I was a post-doc at the National Institute of Informatics, working under Zhenjiang Hu on the BiG Project.


I did my PhD on Bidirectional Data Transformation by Calculation at the University of Minho with Alcino Cunha.