I am a post-doctoral researcher at the IMDEA Software Institute (Madrid), under the supervision of Dario Fiore and Claudio Soriente. I received a PhD in Software, Systems and Computing from Universidad Politécnica de Madrid, under the supervision of Gilles Barthe and Benedikt Schmidt.

Research Interests

  • Computer-aided Cryptography
  • Functional Programming
  • Zero-Knowledge Proofs
  • Functional Encryption
  • Generic Group Model
  • Post-quantum Cryptography


  • “Automated Analysis of Cryptographic Constructions”.
    PhD Thesis. Universidad Politécnica de Madrid, October 2018 (pdf).

  • “The Green Vehicle Routing Problem with Multiple Technologies and Partial Recharges”.
    Master’s Thesis. Universidad Complutense de Madrid, July 2014 (pdf).


  • I am one of the main developers of the Generic Group Analyzer Unbounded. The Generic Group Analyzer Unbounded is a tool that automatically analyzes the security of cryptographic constructions in the Generic Group Model.

  • I am one of the main developers of the Generic Group Model Symbolic Solver. An extension of the previous tool that captures polynomial divisions in the exponent.

  • I developed an proof of concept implementation of Attribute-Based Encryption.

  • Here is the source code related to Chapter 6 chapter of my PhD Thesis (work in progress).


  • Post-doctoral researcher. November 2018 - Present.
    IMDEA Software Institute.

  • PhD in Software, Systems and Computing (DSSC). September 2014 - October 2018.
    IMDEA Software Institute and Universidad Politécnica de Madrid.

  • MS in Mathematical Engineering. 2013 - 2014.
    Universidad Complutense de Madrid.

  • BS in Mathematical Engineering. 2009 - 2013.
    Universidad Complutense de Madrid. Premio Extraordinario.

Experience and Internships

  • 2017, NTT Laboratories R&D, Tokyo, Japan (5 months).
    Under the supervision of Masayuki Abe.

  • 2012-2013, Fábrica Nacional de Moneda y Timbre - RCM, Madrid, Spain (13 months).
    Under the supervision of Luis Borruel Navarro. Research and development project of security in printed documents based on color.


I love chess. You can find me on lichess. I also like to create chess puzzles. Here you can find some of my compositions.