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
Former PhD Student
Home Page: https://software.imdea.org/~federico/
Adviser: Gilles Barthe
Research Interests
Verification of Cryptographic Systems and Semantics of Programming Languages