Tingting Han
Senior Lecturer, Programme Director - Certificates and ITApps Short Courses, Athena SWAN Coordinator
- Room
- MAL155
- Office hours
- Thursday 17:30-18:00
- Telephone
- 020 7631 6245
- 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