Taolue Chen

Taolue Chen is a Senior Lecturer in the School of Computing and Mathematical Sciences at Birkbeck, University of London. He holds a PhD from Vrije Universiteit Amsterdam and MSc/BSc degrees from Nanjing University, China. His research focuses on neuro-symbolic software engineering, combining AI (Machine Learning/NLP) with formal methods in software engineering, program analysis, and verification. He has published extensively in top conferences like POPL, OOPSLA, and NeurIPS, and has received multiple awards including the ACM SIGSOFT Distinguished Paper Award (2024).

Education:

• PhD: Centrum Wiskunde & Informatica (CWI) and Vrije Universiteit Amsterdam (2010s)
• MSc: Computer Science, Nanjing University (China)
• BSc: Computer Science, Nanjing University (China)

Research Interests: Taolue's work bridges AI and traditional software engineering, with a focus on neuro-symbolic systems, code generation, adversarial robustness, and formal verification of cryptographic programs. He explores synergies between statistical (deep learning) and logical (constraint solving) methods to address challenges in software verification and cybersecurity.

Articles Overview: His recent work emphasizes code generation improvements, adversarial defense mechanisms, and formal verification of secure cryptographic implementations. Key themes include enhancing model robustness, optimizing documentation in code generation, and applying large language models to symbolic reasoning tasks.

Awards:

• Best Paper Award at SETTA’20 (2020)
• 1st Prize in CCF Software Prototype Competition (2022)
• QF Strings Competition Win (2023)
• ACM SIGSOFT Distinguished Paper Award (2024)

Advising & Grants: Advises PhD student JEFERSON DORNELLES SCHNEIDER. His work is supported by grants focusing on neuro-symbolic systems, cybersecurity, and formal methods for software engineering.

Labs/Teams: Leads research groups in neuro-symbolic software engineering and cryptographic verification at Birkbeck, collaborating with institutions like University of Oxford and University of Twente.