Department of Computer Science and Information Systems
Birkbeck, University 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
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 2014, SAC SVT 2015, 2016, 2017