Welcome!

Hi, I am an assistant professor at the Faculty of Sciences of the University of Porto. I am also a researcher at HasLab, INESC/TEC. My main research interests are on areas related to Formal Methods, Cryptography, Secure Multi-party Computation, Programming Languages and Bidirectional Transformations.




Previously, I have been a post-doc at:


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