Personal Info about Tingting Han ( 韩婷婷 )
| |
 | |
Tingting@Keukenhof |
I am a postdoc at the Software Modelling and Verification (MOVES) group in RWTH Aachen University. I was a doctoral student at the Formal Methods and Tools (FMT) group in University of Twente. My supervisor is Joost-Pieter Katoen.
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
- Exercises for Foundations of the UML (WS0910)
- Exercises for Modeling Concurrent and Probabilistic Systems (SS09)
- Exercises for Semantics and Verification of Software (WS0809)
- Exercises for Modeling Concurrent and Probabilistic Systems (WS0708)
- Exercises for Automatentheorie und formale Sprachen and Formale Systeme, Automaten, Prozesse (SS07)
- Exercises for Advanced Model Checking (WS0607)
- Exercises for Probabilistic Models for Concurrency (SS06)
Publications
Thesis and Defenses
