ECOOP 2022 (series) / Federico Olmedo
![Federico Olmedo](https://2022.ecoop.org/getProfileImage/federicoolmedo1/918b069f-4b4f-4752-97da-930e06ac28ee/small.jpg?1711483409000)
Registered user since Tue 28 Jan 2020
Name:Federico Olmedo
Country:Chile
Affiliation:University of Chile & IMFD Chile
Personal website: https://users.dcc.uchile.cl/~folmedo/
Research interests:Program verification, probabilistic programming, language-based security
Contributions
ECOOP 2022-profile
View general profile
View general profile