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.
- 020 3926 1271
- Email address
- web page
Areas of interest: Formal verification and synthesis of probabilistic systems, and its applications