糖心logo入口

Skip to main content

Dr Tingting Han

Positions held:
  • Reader in Computer Science, School of Computing and Mathematical Sciences
Email
  • Overview

    Overview

    Biography

    Postdoctoral Researcher at University of Oxford (UK) and RWTH Aachen University (DE)

    PhD (RWTH Aachen University (DE) and University of Twente (NL))

    Master and Bachelor (Nanjing University (CN)), all in Computer Science.

    Office hours

    Friday 11am - 1pm


    Administrative responsibilities

    • Programme Director of BSc Computing
    • Programme Director of BSc Information System and Management
    • Athena SWAN coordinator
  • Research

    Research

    Research interests

    • Applying machine learning in software engineering, biometrics and other fields
    • Software engineering
    • Formal Verification and Probabilistic Systems
  • Supervision and teaching

    Supervision and teaching

    Teaching

    Teaching modules

    • Introduction to Programming
  • Publications

    Publications

    Article

    • Yang, G. and Zhang, X. and Chen, X. and Han, Tingting and Chen, Taolue (2025) . Information & Software Technology 181 (107699), ISSN 0950-5849.
    • Liu, S. and Zhou, Y. and Han, Tingting and Chen, Taolue (2025) . Science of Computer Programming 242, ISSN 0167-6423.
    • Zhang, X. and Zhou, Y. and Yang, G. and Han, Tingting and Chen, Taolue (2024) . Journal of Systems and Software 214 (112066), ISSN 0164-1212.
    • Liu, S. and Zhou, Y. and Ji, L. and Han, Tingting and Chen, Taolue (2024) . Science of Computer Programming 232 (103052), ISSN 0167-6423.
    • Yu, Z. and Chen, C. and Yongchao, W. and Han, Tingting and Chen, Taolue (2023) . Science China Information Sciences ISSN 1869-1919.
    • Zhou, Y. and Zhan, W. and Li, Z. and Han, Tingting and Chen, Taolue and Gall, H. (2023) . ACM Transactions on Software Engineering and Methodology 33 (2), pp. 1-23. ISSN 1049-331X.
    • Yu, Z. and Shen, J. and Zhang, X. and Yang, W. and Han, Tingting and Chen, Taolue (2022) . Journal of Systems and Software 188, ISSN 0164-1212.
    • Zhou, Y. and Zhang, Q. and Shen, J. and Han, Tingting and Chen, Taolue and Gall, H. (2022) . ACM Transactions on Software Engineering and Methodology 31 (4), pp. 1-30. ISSN 1049-331X.
    • Yang, G. and Zhou, Y. and Chen, X. and Zhang, X. and Han, Tingting and Chen, Taolue (2022) . Journal of Systems and Software ISSN 0164-1212.
    • Al-Nima, R. and Han, Tingting and Al-Sumaidaee, S. and Chen, Taolue and Woo, W. (2021) . Applied Soft Computing 105 (107295), ISSN 1568-4946.
    • Chen, Taolue and Han, Tingting and Cao, Y. (2018) . Theoretical Computer Science 727, pp. 24-36. ISSN 0304-3975.
    • Chen, Taolue and Yu, N. and Han, Tingting (2015) . Information Processing Letters 115 (1), pp. 11-14. ISSN 0020-0190.
    • Chen, Taolue and Han, Tingting and Katoen, J.-P. and Mereacre, A. and Jagadeesan, R. (2011) . Logical Methods in Computer Science 7 (1), ISSN 1860-5974.
    • Chen, Taolue and Han, Tingting and Lu, J. (2006) . Acta Cybernetica 17 (3), pp. 471-483. ISSN 0324-721X.
    • Chen, Taolue and Han, Tingting and Lu, J. (2005) . Electronic Notes in Theoretical Computer Science 123 (1), pp. 19-33. ISSN 1571-0661.
    • Chen, Taolue and Zhou, J. and Han, Tingting and Lu, J. (2004) . Electronic Notes in Theoretical Computer Science 91, pp. 4-20. ISSN 1571-0661.
    • Chen, Taolue and Han, Tingting and Lu, J. (2003) . Electronic Notes in Theoretical Computer Science 85 (1), pp. 25-38. ISSN 1571-0661.

    Book section

    • Chen, Taolue and Han, Tingting and Kammueller, F. and Nemli, I. and Probst, C.W. (2016) . In: Cyber Security And Protection Of Digital Services (Cyber Security), 2016 International Conference On. IEEE Computer Society. ISBN 9781509007097.
    • Chen, Taolue and Han, Tingting (2014) . In: Raman, V. and Suresh, S.P. (eds.) Proceedings, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). Leibniz International Proceedings In Informatics. Wadern, Germany: Dagstuhl. pp. 571-583. ISBN 9783939897774.
    • Chen, Taolue and Han, Tingting and Lu, J. (2007) . In: Lei, J. (ed.) FSKD 2007: Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society. pp. 21-25. ISBN 9780769528748.
    • Han, Tingting and Katoen, J.-P. (2007) . In: Namjoshi, K.S. and Yoneda, T. and Higashino, T. and Okamura, Y. (eds.) Automated Technology for Verification and Analysis: 5th International Symposium. Lecture Notes in Computer Science. Springer. pp. 331-346. ISBN 9783540755951.
    • Han, Tingting and Katoen, J.-P. (2007) . In: Grumberg, O. and Huth, M. (eds.) Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference. Lecture Notes in Computer Science. Springer. pp. 72-86. ISBN 9783540712084.
    • Cloth, L. and Crouzen, P. and Fruth, M. and Han, Tingting and Jansen, D.N. and Kattenbelt, M. and Smit, G.J.M. and Zhang, L. (2007) . In: Haverkort, B.R. and Katoen, J.-P. and Thiele, L. (eds.) Quantitative Aspects of Embedded Systems. Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik.
    • Chen, Taolue and Han, Tingting and Lu, J. (2006) . In: Wang, L. and Jiao, L. and Shi, G. and Li, X. and Liu, J. (eds.) FSKD 2006: Fuzzy Systems and Knowledge Discovery, Third International Conference. Lecture Notes in Computer Science. Springer. pp. 149-158. ISBN 9783540459163.
    • Chen, Taolue and Han, Tingting and Luo, J. (2005) . In: Gu, N. and Wei, D. and Xie, Z. and Wang, H. and Wang, S.X. and Shi, B. (eds.) The Fifth International Conference on Computer and Information Technology. IEEE Computer Society. pp. 841-847. ISBN 076952432X.
    • Han, Tingting and Chen, Taolue and Lu, J. (2005) . In: COMPSAC 2005: 29th Annual International Computer Software and Applications Conference. IEEE Computer Society. pp. 71-76. ISBN 769524133.
    • Chen, Taolue and Han, Tingting and Lu, J. (2005) . In: Ramanujam, R. and Sen, S. (eds.) FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science. Springer. pp. 128-139. ISBN 9783540324195.
    • Han, Tingting and Chen, Taolue and Lu, J. (2005) . In: Chung, L. and Song, Y.-T. (eds.) Sixth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing. IEEE Computer Society. ISBN 769522947.
    • Chen, Taolue and Han, Tingting and Lu, J. (2004) . In: Wei, D. and Wang, H. and Peng, Z. and Kara, A. and He, Y. (eds.) International Conference on Computer and Information Technology. IEEE Computer Society. pp. 540-545. ISBN 769522165.
    • Chen, Taolue and Han, Tingting and Lu, J. (2004) . In: COMPSAC 2004: 28th International Computer Software and Applications Conference: Design and Assessment of Trustworthy Software-Based Systems. IEEE Computer Society. pp. 330-335. ISBN 769522092.
    • Chen, Taolue and Han, Tingting and Lu, J. (2004) . In: Hamza, M.H. (ed.) Proceedings of the IASTED Conference on Software Engineering and Applications. IASTED/ACTA Press. pp. 588-593. ISBN 088986425X.

    Conference item

    • Liu, S. and Zhou, Y. and Han, Tingting and Chen, Taolue (2023) . 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, 2023, Guangzhou, China
    • Al-Obaidi, A. and Al-Nima, R. and Han, Tingting (2022) . International Conference on Sustainable Development Techniques, 2022, Mosul City, Iraq
    • Zhang, X. and Zhou, Y. and Han, Tingting and Chen, Taolue (2021) . Internetware '20: 12th Asia-Pacific Symposium on Internetware, 2021, Singapore