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:
- HasLab, INESC/TEC, working with Manuel Barbosa from the Cryptography and Information Security group.
- Cornell University, working with Nate Foster from the Programming Languages Group.
- The National Institute of Informatics, working with Zhenjiang Hu on the BiG Project