Tingting Han
Senior Lecturer, Athena SWAN Coordinator, Programme Director (IT Applications Short Courses and Certificates)
- Room
- MAL155
- Office hours
- Thursday 17:30-18:00
- Telephone
- 020 3926 1271
- Email address
- Enable JavaScript to view protected content.
- Personal web page
- http://www.dcs.bbk.ac.uk/~tingting
- Publications
- DBLP BIROn
Biog
Tingting Han obtained her BSc and MEng in Computer Science from Nanjing University China, and her PhD from RWTH Aachen University and University of Twente. She was a Research Assistant at University of Oxford before joining Birkbeck.
Research areas
Formal verification and synthesis of probabilistic systems, and its applications