Welcome!

Hi, I am a post-doc at the Cryprography and Information Security group, HasLab, INESC/TEC, working with Manuel Barbosa. My main research interests are on areas related to Secure Multi-party Computation, Formal Methods, Functional Programming, Bidirectional Programming or Model 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.