Tingting Han

Tingting Han is a Lecturer in Computer Science at Birkbeck, University of London since October 2013. She holds a BSc and MEng in Computer Science from Nanjing University (2003, 2006) and a PhD from RWTH Aachen University and University of Twente (2009), supervised by Joost-Pieter Katoen. Prior to her current role, she was a postdoc at RWTH Aachen University (2009–2011) and a research assistant at the University of Oxford (2011–2013) under the VERIWARE project.

Her research focuses on formal verification of probabilistic systems, machine learning applications in verification, and software model checking. She has contributed to advancements in adversarial robustness, code generation, and automated analysis of probabilistic programs. Her work integrates formal methods with machine learning to enhance software correctness and security.

Han has taught courses such as 'Problem Solving for Programming', 'Big Data Analytics using R', and 'Introduction to Programming'. She actively participates in academic service, including PC memberships in QAPL 2014 and SAC SVT 2015–2017.