Miguel Ambrona
The information in this page may be outdated, as Miguel Ambrona is currently not a member of the Institute.
PhD - Technical University of Madrid (UPM), SpainFormer Post-doctoral Researcher
Home Page: https://miguel-ambrona.github.io/
Research Interests
Automated proofs in cryptography, functional programming.