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