Scholar
Federico Olmedo
Google Scholar ID: 6xQx47oAAAAJ
University of Chile
Program Verification
Probabilistic Programs
Program Semantics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,129
H-index
14
i10-index
15
Publications
20
Co-authors
6
list available
Publications
1 items
A Gradual Probabilistic Lambda Calculus
2026
Cited
0
Co-authors
6 total
Benjamin Lucien Kaminski
Professor of Computer Science at Saarland University and Lecturer at University College London
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente
Santiago Zanella-Béguelin
Microsoft Research
Nils Jansen
Professor of Artificial Intelligence and Formal Methods, Ruhr-University Bochum
Annabelle McIver
Macquarie University
Boris Köpf
Azure Research, Microsoft
