Taolue Chen
Lecturer
Postdoctoral Researcher at University of Oxford (UK) and University of Twente (The Netherlands); PhD (CWI and Vrije Universiteit Amsterdam, The Netherlands), Master and Bachelor (Nanjing University, China), all in Computer Science.
Contact Information
- Room
- MAL 158
- Telephone
- 020 3926 1304
- Email address
- Personal
- web page
Research
Areas of interest: Quantitative analysis and synthesis of computer program and systems, logic in computer science, machine learning and data science, software engineering, algorithms and computational complexity
Research groups
PhD Students
Key Publications
- A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. (2021)
- Automatic Detection and Repair Recommendation of Directive Defects in Java API Documentation. (2020)
- Decision procedures for path feasibility of string-manipulating programs with complex operations. (2019)
- Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. (2016)
- Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (2011)