Tingting Han
Lecturer
Department of Computer Science and Information Systems
University of London
United Kingdom
Biography
Tingting Han obtained her BSc and MEng in Computer Science from Nanjing University China, and her PhD from RWTH Aachen University and University of Twente. She was a Research Assistant at University of Oxford before joining Birkbeck.
Research Interest
Formal verification and synthesis of probabilistic systems, and its applications
Publications
-
Han, Tingting and Katoen, J.-P. and Berteun, D. (2009) Counterexample generation in probabilistic model checking. IEEE Transactions on Software Engineering 35 (2), pp. 241-257. ISSN 0098-5589.
-
Chen, T. and Han, Tingting and Katoen, J.-P. and Mereacre, A. and Jagadeesan, R. (2011) Model checking of continuous-time Markov Chains against timed automata specifications. Logical Methods in Computer Science 7 (1), ISSN 1860-5974.
-
Chen, T. and Yu, N. and Han, Tingting (2015) Continuous-time orbit problems are decidable in polynomial-time. Information Processing Letters 115 (1), pp. 11-14. ISSN 0020-0190.
