Federico Olmedo
- 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
| 2018 | |
|---|---|
| DOI | Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle Mciver. Conditioning in Probabilistic Programming, 4, Association for Computing Machinery, 2018. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, 30:1-30:68, 2018. |
| 2015 | |
| DOI | Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver. Conditioning in Probabilistic Programming, 199-216, Elsevier Science, 2015. |
| Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Probabilistic Programs - A Natural Model for Approximate Computations, [Workshop on Approximate Computing, AC15, 2015-10-15 - 2015-10-16, Paderborn, Germany], 2015. | |