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.
- 020 3926 1304
- Email address
- web page
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