conf.researchr.org / Federico Olmedo
![Federico Olmedo](https://conf.researchr.org/getProfileImage/federicoolmedo1/a0f19c87-0755-4c6b-9671-318b31ef937d/small.jpg?1711483409000)
Registered user since Tue 28 Jan 2020
Name:Federico Olmedo
Country:Chile
Affiliation:University of Chile
Personal website: https://users.dcc.uchile.cl/~folmedo/
Research interests:Program verification, probabilistic programming, language-based security
Contributions