Federico Olmedo

Alumni

Member until: Apr 2017
Now at: University of Chile, Santiago de Chile, Chile
Address: Room 4230
Ahornstraße 55
D-52074 Aachen

I am a post-doctoral researcher at the RWTH University in the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:

Program semantics and verification
Probabilistic Programs
Security
Interactive theorem proving

Publications

2016

Conference paper
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo Beron
Programming languages and systems
RWTH record for Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs BibTeX for Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs
Conference paper
On the Semantic Intricacies of Conditioning
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo Beron
[1st Workshop on Probabilistic Programming Semantics, PPS 2016, 20.01.2016-23.01.2016, St. Petersburg, Florida, USA
PDF of On the Semantic Intricacies of Conditioning RWTH record for On the Semantic Intricacies of Conditioning BibTeX for On the Semantic Intricacies of Conditioning
Conference paper
Reasoning about Recursive Probabilistic Programs
Federico Olmedo Beron, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016)
RWTH record for Reasoning about Recursive Probabilistic Programs BibTeX for Reasoning about Recursive Probabilistic Programs

2015

Conference paper
Probabilistic Programs - A Natural Model for Approximate Computations
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo
[Workshop on Approximate Computing, AC15, 2015-10-15 - 2015-10-16, Paderborn, Germany]
RWTH record for Probabilistic Programs - A Natural Model for Approximate Computations BibTeX for Probabilistic Programs - A Natural Model for Approximate Computations
Conference paper
Understanding Probabilistic Programs
Joost-Pieter Katoen, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Federico Olmedo Beron
Correct system design
RWTH record for Understanding Probabilistic Programs BibTeX for Understanding Probabilistic Programs
Journal article
Conditioning in Probabilistic Programming
Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver
Electronic notes in theoretical computer science
PDF of Conditioning in Probabilistic Programming RWTH record for Conditioning in Probabilistic Programming BibTeX for Conditioning in Probabilistic Programming

All records on RWTH Publications