Personal Info about Tingting Han ( 韩婷婷 )



Tingting@Keukenhof

I have moved to Birkbeck, University of London. Visit my new homepage.

 

E-mail:

tingting.han 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

 

 


Current Research

  • Formal verification of probabilistic and stochastic systems
  • Counterexample generation for probabilistic model checking
  • Probabilistic timed automata
  • Concurrency, Process algebra, Mobile process algebra


Teaching


Publications


Thesis and Defenses