About me
I'm a Ramon y Cajal researcher at Rovira i Virgili University (URV) and a multiple medallist in Mathematical Olympiads. Prior to joining the URV, I held a senior lecturer position at Deakin University (Australia) and a postdoctoral position at the University of Luxembourg. My work appears in the most important publication venues in computer security, such as ACM CCS, S&P, ESORICS and CSF, and my research interests span the areas of formal methods, computer security and privacy protection.
I'm hiring! Please, look at the position ad here
Topics of interest
- Security and privacy of software systems
- Cryptographic protocols
- Privacy-preserving techniques
- Formal methods
- Graph theory
Publication databases
Awards
- Ramon i Cajal grant-holder (Spain, 2021)
- Junior-CORE grant-holder (Luxembourg, 2016)
- FPI predoctoral grant-holder (Spain, 2008)
- Silver Medal Award at the Iberoamerican Mathematical Olympiad (Venezuela, 2000)
- Bronze Medal Award at the International Mathematical Olympiad (South Korea, 2000)
- Bronze Medal Award at the International Mathematical Olympiad (Romania, 1999)
- Bronze Medal Award at the Iberoamerican Mathematical Olympiad (Cuba, 1999)