Lecturer in Computer Science

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: 5.15pm - 5.45pm Tuesday

Please make an appointment with me if you want to meet at other times.

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. 

    •             - Formal Verification and Synthesis of Probabilistic Systems;
  •             - Machine Learning in Verification;
  •             - Modelling of Wireless Sensor Networks;
  •             - ......

   Research Interests
           Useful Links

   Professional Activities


Tingting Han