Hongfei Fu

Email
hongfeifu at cs.rwth-aachen.de
Address
Room 4207
Ahornstra├če 55
D-52074 Aachen
Phone
+49 241 80 21202

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen. Currently, my primary research interest is formal verification of jump Markov processes.