Federico Olmedo

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

BSc - Universidad Nacional de Rosario, Santa Fe, Argentina
Antiguo PhD Student

Página web: https://software.imdea.org/~federico/
Tutor: Gilles Barthe

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

Verification of Cryptographic Systems and Semantics of Programming Languages