Tingting Han
Senior Lecturer
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.
Contact Information
- Room
- MAL 155
- Telephone
- 020 3926 1271
- Email address
- Personal
- web page
Research
Areas of interest: Formal verification and synthesis of probabilistic systems, and its applications
Key Publications
- Robustness and performance of Deep Reinforcement Learning. (2021)
- Personal verification based on multi-spectral finger texture lighting images. (2018)
- Polynomial-time algorithms for computing distances of fuzzy transition systems. (2018)
- Continuous-time orbit problems are decidable in polynomial-time. (2015)
- On the Complexity of Computing Maximum Entropy for Markovian Models. (2014)