Tingting Han

E-mail: Tingting.Han(at)cs.rwth-aachen.de
hantt(at)cs.utwente.nl
Phone:    +49-241/80-21202
Fax: +49-241/80-22217
 
Postal Address: Tingting Han
Lehrstuhl für Informatik II
RWTH Aachen
D-52056 Aachen
Germany
 
Visiting Address:    Room 4207,
Ahornstr. 55,
D-52074 Aachen
Pic Tingting

Research

My research interests include:
  • Quantitative properties of embedded software
  • Formal verification of probabilistic and stochastic systems
  • Concurreny, Mobility

    • Publications

    Technical Report

    Teaching Activities

  • Exercises for Probabilistic Models for Concurrency
    		•  (Summer Term 2006)

    Bookmarks

    Mics