Federico Olmedo

BS - Universidad Nacional de Rosario (UNR), Argentina

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

Former PhD Student

Research Interests

Verification of Cryptographic Systems and Semantics of Programming Languages