Skip to content Search
Search our website:
Tingting Han

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
MAL155
Telephone
020 3926 1271
Email address
Personal
web page

Research

Areas of interest: Formal verification and synthesis of probabilistic systems, and its applications