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:
- The National Institute of Informatics, working under Zhenjiang Hu on the BiG Project
- Cornell University, working under Nate Foster from the Programming Languages Group.