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: 5.15pm - 5.45pm Tuesday
Please make an appointment with me if you want to meet at other times.
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.