IMDEA initiative

Home > People

Miguel Ambrona

PhD - Technical University of Madrid (UPM), Spain

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

Former Post-doctoral Researcher

Miguel Ambrona
Home Page: http://software.imdea.org/~miguel.ambrona/

Research Interests

Automated proofs in cryptography, functional programming.