IMDEA initiative

Home > People

Miguel Ambrona

PhD - Technical University of Madrid (UPM), Spain

Post-doctoral Researcher

Miguel Ambrona
IMDEA Software Institute

Office: 346
Telephone: +34 91-101-2202 ext 4189
Email: Miguel Ambrona e-mail
Home Page: http://software.imdea.org/~miguel.ambrona/

Research Interests

Automated proofs in cryptography, functional programming.