Dr Tingting Han

Lecturer in Computer Science

Department of Computer Science and Information Systems

BirkbeckUniversity of London

Malet Street, London WC1E 7HX, UK


Office: Room 155 at Main Building

Tel:  +44 (0)20 7631 6245

Fax: +44 (0)20 7631 6727

Email: tingting at dcs.bbk.ac.uk  


Office Hour by appointment


Short Bio

I obtained my BSc and MEng in Computer Science from Nanjing University in 2003 and 2006,

and my PhD from RWTH Aachen University and University of Twente in 2009, under the

supervision of Prof. Ir. Joost-Pieter Katoen. I subsequently spent 1 year in Aachen as a postdoc,

before joining University of Oxford in 2011, working as a research assistant for the VERIWARE 

project. Since Oct 2013, I have been a lecturer at Birkbeck




  PC member of QAPL 2014SAC SVT 2015, 2016, 2017




Useful links