Taolue Chen
Associate LecturerTeaches: Software Engineering I
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
- Telephone
- Email address
- Enable JavaScript to view protected content.
- Personal web page
- http://www.dcs.bbk.ac.uk/~taolue
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
PhD Students
Key Publications
- Probabilistic analysis of QoS-aware service composition with explicit environment models. (2020)
- Predicted Robustness as QoS for Deep Neural Network Models. (2020)
- Finger Texture Biometric Characteristic: a Survey. (2020)
- Robustness and performance of Deep Reinforcement Learning. (2021)
- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks. (2021)