- PhD (2016)
- Computer Science at FCT/UNL, advised by Luís Caires
- MSc (2010)
- Computer Science at FCT/UNL
- BSc (2007)
- Computer Science at FCT/UNL
My research interests lie in the area of Programming Languages
Principles, Design and Implementation. Namely:
- Programming Languages
- Formal Methods
- Type Systems
- Language-based Security
- Information Flow Analysis
- 2014
- DIFT Prototype Type Checker
On-going development, current version 1.10.