Miguel Ambrona

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

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.

Automated proofs in cryptography, functional programming.