Federico Olmedo


federico.olmedo at cs.rwth-aachen.de
Room 4230
Ahornstraße 55
D-52074 Aachen
+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

DOIBenjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms. Journal of the ACM 65(5), pages 30:1-30:68, 2018.
DOIFederico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver. Conditioning in Probabilistic Programming. ACM Transactions on Programming Languages and Systems (TOPLAS) 40(1), pages 4:1-4:50, 2018.
Show all