- hao.wu at cs.rwth-aachen.de
- Room 4207
- +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