Friedrich Gretz

dsc00563_225x300
Email
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

Publications for Friedrich Gretz

2016
Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo. On the Semantic Intricacies of Conditioning. Collected Abstracts of the 1st Workshop on Probabilistic Programming Semantics (PPS 2016), 2016.
Show all