Education

Imperial College London
London
M.Eng. in Computing, First-Class Hons. (86%)
Oct 2016 - Jun 2020

Master's thesis: "Type-safe Web Programming Using Routed Multiparty Session Types in TypeScript" (95%).

  • The Aspect Capital Project Prize, Jul 2020 - outstanding undergraduate final year project
  • Faculty of Engineering Dean's List, Jul 2020 - top 10% of cohort
  • Gloucester Research Limited Prize, Jul 2019 - academic excellence (top 3)
  • Faculty of Engineering Dean's List, Jul 2019 - top 10% of cohort
  • Gloucester Research Limited Prize, Jul 2018 - academic excellence (top 3)
  • Faculty of Engineering Dean's List, Jul 2018 - top 10% of cohort
  • Faculty of Engineering Dean's List, Jul 2017 - top 10% of cohort
  • Computing Entrance Scholarship, Oct 2016
Sha Tin College
Hong Kong
IB Bilingual Diploma, 44 points
Sep 2009 - Jun 2016
  • Carlson Tong Award, Aug 2016 - highest performance in the IB Bilingual Diploma
  • Hong Kong Scholarship for Excellence, Aug 2016