Simply-typed Differential and Resource Lambda-Calculus
Master Thesis at University of Oxford, United Kingdom
CV
Education
- D.Phil. in Computer Science, University of Oxford, 2021 (expected)
- Master in Mathematics and Computer Science, University of Oxford, 2016
Scholarships and Awards
- Croucher Scholarship 2017, Croucher Foundation
- G-Research Prize 2016, Department of Computer Science, University of Oxford
- Best Computer Science project in Mathematics and Computer Science
- Goldsworthy Scholarship 2013-2016, St. Catherine’s College, University of Oxford
- Continually achieving first class results in Public Examinations
Publications
Talks
Higher-Order Probability Theory on Interval Domain
2nd Workshop on Probabilistic Interactive and Higher-Order Computation at University of Bologna, Italy
Teaching
Work experience
- October 2016 - April 2017
- Hong Kong Applied Science and Technology Research Institute
- Engineer, Data Analytic