ECOOP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
Federico Olmedo

Registered user since Tue 28 Jan 2020

Name:Federico Olmedo
Country:Chile
Affiliation:University of Chile
Research interests:Program verification, probabilistic programming, language-based security

Contributions

Show activities from other conferences

Using general profile