![dsc00563_225x300](https://moves.rwth-aachen.de/wp-content/uploads/fotos/DSC00563_225x300-e1394460285113-112x150.jpg)
- fgretz at cs.rwth-aachen.de
- Address
- Room 4210
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21203
I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen.
My research interests include:
- Formal methods for qualitative and quantitative systems
- Deductive reasoning methods for quantitative systems
- Formal semantics of high level specification languages