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: t.han at bbk.ac.uk
Office Hour by appointment
I obtained my BSc and MEng in Computer Science from Nanjing University,
and my PhD from RWTH Aachen University and University of Twente, 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.