IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Miguel Ambrona

Miguel Ambrona

La información de esta página podría estar desactualizada debido a que Miguel Ambrona no es actualmente miembro del Instituto.

Miguel Ambrona
PhD - Universidad Politécnica de Madrid, España
Antiguo Post-doctoral Researcher

Página web: https://miguel-ambrona.github.io/

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Research Interests

Automated proofs in cryptography, functional programming.