IMDEA Software

IMDEA initiative

Home > People > Federico Olmedo

Federico Olmedo

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

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

Home Page:
Adviser: Gilles Barthe

Research Interests

Verification of Cryptographic Systems and Semantics of Programming Languages