- 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