Federico Olmedo
Scholar

Federico Olmedo

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