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