ÌÇÐÄlogoÈë¿Ú

Skip to main content

Dr Taolue Chen

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

    Overview

    Biography

    Taolue Chen received the Bachelor and Master degrees from Nanjing University, China, both in Computer Science. He was a junior researcher
    (OiO) at the Centrum Wiskunde & Informatica (CWI) and acquired the PhD degree from the Vrije Universiteit Amsterdam, The Netherlands. He is currently Reader in Software Science at the School of Computing and Mathematical Sciences, ÌÇÐÄlogoÈë¿Ú, University of London. He had been a postdoctoral researcher at University of Oxford (UK) and University of Twente (The Netherlands). 

    Office hours

    By appointment. 

    Web profiles

    Administrative responsibilities

    • Admission Tutor for MSc Computer Science Programme
    • Admission Tutor for MSc Data Science Programme
    • Partner Liaison Tutor

    ORCID

  • Research

    Research

    Research interests

    • Artificial Intelligence (Machine Learning and Large Language Model)
    • Software Engineering, Software Verification, Proof Engineering

    Research overview

    Taolue Chen's research spans Software Engineering, Programming  Language, Verification and Artificial Intelligence (Machine Learning in particular). His present research focus is neuro-symbolic software engineering. He has published about 160 papers in conferences such as POPL, OOPSLA (top conferences in Programming Language), OSDI, SOSP (top conferences in Operating Systems), LICS (top conference in Logic), CAV (top conference in Verification),  ICSE, ESEC/FSE, ASE, ISSTA (top conferences in Software Engineering), ETAPS (TACAS, FoSSaCS, ESOP, FASE, the world’s leading fora for research on software science), NeurIPS, ICLR, IJCAI, AAAI (top conferences in AI), ACL, EMNLP (top conferences in Natrual Language Processing) and journals such as IEEE Transactions on Software Engineering (TSE), ACM Transactions on Software Engineering and Methodology (TOSEM), Empirical Software Engineering, ACM Transactions on Computational Logic (TOCL), Information and Computation, Logical Methods in Computer Science.  He won the Best Paper Award of SETTA’20, the 1st Prize in the CCF Software Prototype Competition 2022, the QF Strings (Single Query Track) at the International Satisfiability Modulo Theories Competition 2023, and ACM SIGSOFT Distinguished Paper Award in 2024.

  • Supervision and teaching

    Supervision and teaching

    Supervision

    I welcome enquiries from prospective PhD students who are interested in undertaking research in any of my areas of research interest'

    Teaching

    Teaching modules

    • Analytic Tools for Data Science
    • Systems Analysis and Design
  • Publications

    Publications

    Article

    • Shao, Y. and Zhou, Y. and Chen, Taolue and Li, Z. (2026) . Journal of Visual Communication and Image Representation 119, pp. 104869. ISSN 10473203.
    • 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 Gall, H.C. and Chen, Taolue (2025) . IEEE Transactions on Software Engineering 51 (6), pp. 1866-1881. ISSN 0098-5589.
    • 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.
    • Yang, G. and Zhou, Y. and Chen, X. and Zhang, X. and Zhuo, T.Y. and Chen, Taolue (2024) . IEEE Transactions on Software Engineering 50 (9), pp. 2437-2457. ISSN 0098-5589.
    • Sun, P. and Song, F. and Chen, Y. and Chen, Taolue (2024) . Proceedings of the ACM on Programming Languages 8 (POPL), pp. 848-881. ISSN 2475-1421.
    • Yang, G. and Zhou, Y. and Yang, W. and Yue, T. and Chen, X. and Chen, Taolue (2024) . ACM Transactions on Software Engineering and Methodology 33 (3), pp. 60:1-60:35. ISSN 1049-331X.
    • Gao, P. and Song, F. and Chen, Taolue (2024) . ACM Transactions on Software Engineering and Methodology 33 (3), pp. 79:1-79:38. ISSN 1049-331X.
    • Yu, Z. and Chen, C. and Yongchao, W. and Han, Tingting and Chen, Taolue (2023) . Science China Information Sciences ISSN 1869-1919.
    • Yang, G. and Zhou, Y. and Chen, X. and Zhang, X. and Xu, Y. and Han, Tingting and Chen, Taolue (2023) . Empirical Software Engineering 28, ISSN 1382-3256.
    • 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.
    • Chen, Taolue and Hague, M. and Flores-Lamas, A. and Han, Z. and Hu, D. and Kan, S. and Lin, A. and Wu, Z. (2022) . Proceedings of the ACM on Programming Languages 6 (POPL), pp. 1-31. ISSN 2475-1421.
    • 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.
    • Zhou, Y. and Yang, X. and Chen, Taolue and Huang, Z. and Ma, X. and Gall, H.C. (2022) . IEEE Transactions on Software Engineering 48 (6), pp. 2157-2172. ISSN 0098-5589.
    • 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.
    • Gao, P. and Xie, H. and Song, F. and Chen, Taolue (2021) . ACM Transactions on Software Engineering and Methodology 30 (3), pp. 26:1-26:42.
    • Zhou, Y. and Su, Y. and Chen, Taolue and Huang, Z. and Gall, H.C. and Panichella, S. (2021) . IEEE Transactions on Software Engineering 47 (12), pp. 2755-2770. ISSN 0098-5589.
    • Zhao, H. and Zeng, X. and Chen, Taolue and Liu, Z. and Woodcock, J. (2021) . Formal Aspects of Computing 33 (3), pp. 437-455. ISSN 0934-5043.
    • Zhou, Y. and Han, Tingting and Chen, Taolue and Zhou, S. (2020) . IET Software 14 (1), pp. 59-71. ISSN 1751-8806.
    • Gao, P. and Xie, H. and Sun, P. and Song, F. and Chen, Taolue (2020) . IEEE Transactions on Software Engineering ISSN 0098-5589.
    • Wang, Y.-H. and Li, Z.-N. and Xu, J.W. and Yu, P. and Chen, Taolue and Ma, X.X. (2020) . Journal of Computer Science and Technology 35 (5), pp. 999-1015. ISSN 1000-9000.
    • Chen, Taolue and Hague, M. and Lin, A.W. and Rümmer, P. and Wu, Z. (2019) . Proceedings of the ACM on Programming Languages 3 (POPL), pp. 1-30. ISSN 2475-1421.
    • Chen, Taolue and Chen, Y. and Hague, M. and Lin, A.W. and Wu, Z. (2018) . Proceedings of the ACM on Programming Languages 2 (POPL), ISSN 2475-1421.
    • Chen, Taolue and Han, Tingting and Cao, Y. (2018) . Theoretical Computer Science 727, pp. 24-36. ISSN 0304-3975.
    • Wu, H. and Chen, Taolue and Han, Tingting and Chen, Y. (2018) . International Journal of Approximate Reasoning 99, pp. 1-11. ISSN 0888-613X.
    • Omar, R.R. and Han, Tingting and Al-Sumaidaee, S.A.M. and Chen, Taolue (2018) . IET Biometrics 8 (1), pp. 40-48. ISSN 2047-4938.
    • Zhou, Y. and Wang, C. and Yan, X. and Chen, Taolue and Panichella, S. and Gall, H.C. (2018) . IEEE Transactions on Software Engineering ISSN 0098-5589.
    • Martin, B. and Raimondi, F. and Chen, Taolue and Martin, J. (2017) . Discrete Applied Mathematics 225, pp. 136-142. ISSN 0166-218X.
    • Zhou, Y. and Tong, Y. and Chen, Taolue and Han, J. (2017) . International Journal of Software Engineering and Knowledge Engineering 27 (6), pp. 925-950. ISSN 0218-1940.
    • Chen, Taolue and Primiero, G. and Raimondi, F. and Rungta, N. (2016) . Studia Logica 104 (4), pp. 679-703. ISSN 0039-3215.
    • Chen, Taolue and Yu, N. and Han, Tingting (2015) . Information Processing Letters 115 (1), pp. 11-14. ISSN 0020-0190.
    • Su, G. and Feng, Y. and Chen, Taolue and Rosenblum, D.S. (2015) . IEEE Transactions on Software Engineering 42 (7), pp. 623-639. ISSN 0098-5589.
    • Chen, Taolue and Fokkink, W. and van Glabbeek, R.J. (2015) . Logical Methods in Computer Science 11 (3), ISSN 1860-5974.
    • Chen, Taolue and Diciolla, M. and Kwiatkowska, M.Z. and Mereacre, A. (2014) . Information and Computation 236, pp. 87-101. ISSN 0890-5401.
    • 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 Kiefer, S. (2014) . In: CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM. pp. 33:1-33:10. ISBN 9781450328869.
    • Chen, Taolue and Ploeger, B. and van de Pol, J. and Willemse, Tim A.C. (2007) . In: Caires, L. and Vasconcelos, V.T. (eds.) CONCUR 2007: Concurrency Theory. Lecture Notes in Computer Science. Springer. pp. 120-135. ISBN 9783540744061.
    • 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.
    • Chen, Taolue and Lu, J. (2007) . In: Lei, J. (ed.) Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society. pp. 35-39. ISBN 9780769528748.
    • Chen, Taolue and Fokkink, W.J. (2006) . In: Baier, C. and Hermanns, H. (eds.) CONCUR 2006: Concurrency Theory: 17th International Conference. Lecture Notes in Computer Science. Springer. pp. 421-434. ISBN 9783540373766.
    • Chen, Taolue and Fokkink, W.J. and Nain, S. (2006) . In: Aceto, L. and Ingolfsdottir, A. (eds.) Foundations of Software Science and Computation Structures, 9th International Conference, {FOSSACS} 2006. Springer. pp. 1-15. ISBN 9783540330455.
    • 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.
    • Aceto, L. and Chen, Taolue and Fokkink, W.J. and Ingolfsdottir, A. (2006) . In: Bugliesi, M. and Preneel, B. and Sassone, V. and Wegener, I. (eds.) ICALP 2006: Automata, Languages and Programming, 33rd International Colloquium. Lecture Notes in Computer Science. Springer. pp. 480-491. ISBN 9783540359074.
    • 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

    • He, B. and Li, Z. and Sun, W. and Yao, Y. and Chen, Taolue and Ma, X. and Su, Z. (2026) . OSDI 26 - 20th USENIX Symposium on Operating Systems Design and Implementation, 2026, Seattle, U.S.
    • 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
    • Zhang, X. and Zhou, Y. and Han, Tingting and Chen, Taolue (2021) . Internetware '20: 12th Asia-Pacific Symposium on Internetware, 2021, Singapore
    • Al-Nima, R. and Han, Tingting and Chen, Taolue (2019) . The 11th International Conference on Computer Recognition Systems, 2019, Polanica-Zdroj, Poland

    External Repositories