Iniciativa IMDEA
La información de esta página podría estar desactualizada debido a que Miguel Ambrona no es actualmente miembro del Instituto.
Automated proofs in cryptography, functional programming.