Taolue Chen
Associate Lecturer
- Email address
- Enable JavaScript to view protected content.
- Personal web page
- http://www.dcs.bbk.ac.uk/~taolue
- Publications
- DBLP BIROn
Biog
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
Research areas
Quantitative Analysis and Synthesis of Computer Program and Systems, Logic in Computer Science, Machine Learning and Data Science, Software Engineering, Algorithms and Computational Complexity