Hao Wu

hao
Email
hao.wu 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.
My research interests include:

  • Formal methods for qualitative and quantitative systems
  • Modelling and analysis of embedded systems
  • Concurrency and process algebra