Federico Olmedo

The information in this page may be outdated, as Federico Olmedo is currently not a member of the Institute.

BSc - National University of Rosario, Santa Fe, Argentina
Former PhD Student

Home Page: https://software.imdea.org/~federico/
Adviser: Gilles Barthe

Verification of Cryptographic Systems and Semantics of Programming Languages