Miguel Ambrona

I am a Senior Cryptography Engineer at Input Output Global (IOHK).

Previously, I was a Research Scientist at Nomadic Labs, working on the design and implementation of PlonK-based SNARKs.

Before that, I worked as a postdoctoral researcher at NTT Secure Platform Laboratories (Tokyo), in the area of Cryptography, under the supervision of Masayuki Abe.

I obtained my PhD in Cryptography at the IMDEA Software Institute and Universidad Politécnica de Madrid, under the supervision of Gilles Barthe and Benedikt Schmidt. After my PhD, and prior to joining NTT, I stayed at IMDEA as a postdoctoral researcher, supervised by Dario Fiore and Claudio Soriente.

My Bachelor and Master degrees were on Mathematical Engineering at Universidad Complutense de Madrid.

Research Interests

  • SNARKs and zero-knowledge proofs
  • Blockchain technology
  • Computer-aided cryptography
  • Idealized models (GGM)
  • Predicate encryption
  • Functional programming

Contact

name.surname@iohk.io