IMDEA Software

IMDEA initiative

Home > People

Federico Olmedo

BS - National University of Rosario, Santa Fe, Argentina

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

Former PhD Student

Federico Olmedo
Home Page:

Research Interests

Verification of Cryptographic Systems and Semantics of Programming Languages