Federico Olmedo

BS - Universidad Nacional de Rosario, Santa Fe, Argentina

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

Antiguo PhD Student

Intereses de Investigación

Verification of Cryptographic Systems and Semantics of Programming Languages