IMDEA Software

IMDEA initiative

Home > People > Miguel Ambrona

Miguel Ambrona

The information in this page may be outdated, as Miguel Ambrona is currently not a member of the Institute.

Miguel Ambrona
PhD - Technical University of Madrid (UPM), Spain
Former Post-doctoral Researcher

Home Page: https://miguel-ambrona.github.io/

Research Interests

Automated proofs in cryptography, functional programming.