- federico.olmedo at cs.rwth-aachen.de
- Room 4230
- +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
- Interactive theorem proving