Federico Olmedo

federico-olmedo-2

Email
federico.olmedo at cs.rwth-aachen.de
Address
Room 4230
Ahornstra├če 55
D-52074 Aachen
Phone
+49 241 80 21208

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 for Federico Olmedo

2017
Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver. Conditioning in Probabilistic Programming. In , ACM Transactions on Programming Languages and Systems (TOPLAS), [to appear], 2017.
2016
DownloadFederico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Reasoning about Recursive Probabilistic Programs. Proc. of the 31st Annual Symposium on Logic in Computer Science (LICS 2016), pages 672-681, ACM, 2016.
DOIBenjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs (EATCS Best Paper Award). Proc. of the 25th European Symposium on Programming (ESOP 2016), Volume 9632 of LNCS, pages 364 - 389, Springer, 2016.
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo. On the Semantic Intricacies of Conditioning. Collected Abstracts of the 1st Workshop on Probabilistic Programming Semantics (PPS 2016), 2016.
Show all