IMDEA initiative

Home > People

Miguel Ambrona

MS in Engineering Mathematics - Universidad Complutense de Madrid, Spain

PhD Student

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/

Adviser: Gilles Barthe

Research Interests

Automated proofs in cryptography, functional programming.