Welcome!
Hi, I am an assistant professor at the Departamento de Informática, Escola de Engenharia, Universidade do Minho. 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:
- Assistant professor at the Faculty of Sciences of the University of Porto.
- A post-doc at HasLab, INESC/TEC, working with Manuel Barbosa from the Cryptography and Information Security group.
- A post-doc at Cornell University, working with Nate Foster from the Programming Languages Group.
- A post-doc at the National Institute of Informatics, working with Zhenjiang Hu on the BiG Project
I completed my PhD on Bidirectional Data Transformation by Calculation at the University of Minho with Alcino Cunha.