Skip to content Search
Search our website:

Tingting Han

Tingting Han

Lecturer, Programme Director and Admissions Tutor - IT Applications

Room
MAL155
Office hours
Thursday 17:30-18:00
Telephone
020 7631 6245
Fax
020 7631 6727
Email address
Enable JavaScript to view protected content.
Personal web page
http://www.dcs.bbk.ac.uk/~tingting
Publications
DBLP BIROn

Biog

Tingting Han obtained her BSc and MEng in Computer Science from Nanjing University China in 2003 and 2006, and her PhD from RWTH Aachen University and University of Twente in 2009. Her research is in formal verification and synthesis of probabilistic systems, and its applications.

Research areas

formal verification and synthesis of probabilistic systems, and its applications

Research groups

Currently teaching