Haidi Yue

I am a PhD student at the Software Modelling and Verification (MOVES) group in RWTH Aachen University. My supervisor is Joost-Pieter Katoen.

E-mail:

haidi.yue AT cs.rwth-aachen.de

Phone:

+49-241-8021202

Fax:

+49-241-8022217

Postal
Address:

Lehrstuhl für Informatik 2
RWTH Aachen University
D-52056 Aachen
Germany

Visiting
Address:

Room 4207
Ahornstr. 55
D-52074 Aachen

My research interests include:

Formal methods for qualitative and quantitative systems
Stochastic model checking
Probability and measure theory
Process algebra
Formal semantics of high level specification languages

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)

Stefan Rieger defended his Doctoral Thesis with great success!

QEST '11 and CONCUR '11 will take place in Aachen in the Super C. more.

The Hybrid Systems Group has now moved to its hopefully final place, the rooms 2U07, 2U08 and 2U09.