I'm a PhD Student at the IMDEA Software Institute, Madrid, under the supervision of Gilles Barthe and Benedikt Schmidt. I received a MS in Mathematical Engineering from Universidad Complutense (Madrid).

Research Interests

  • Computer-aided Cryptography
  • Functional Programming
  • Automated Proofs
  • Attribute-Based Encryption
  • Pairing-Based Cryptography
  • Generic Group Model


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.


  • PhD in Software, Systems and Computing (DSSC). September 2014 - Present. IMDEA Software Institute.
  • 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.