Hi, I’m Dapeng Gao. Welcome to my site! Contact me at first.last@cl.cam.ac.uk.
Education
- University of Cambridge
PhD in Computer Science
2021–- Research Topic: Software Compartmentalisation for CHERI
- University of Oxford
Master of Computer Science and Philosophy
2017–2021- First Class in Part C Examinations, 2021
Hoare Prize for best overall performance in Computer Science and Philosophy - First Class in Part A & B Examinations, 2020
- Distinction in Preliminary Examinations, 2018
- First Class in Part C Examinations, 2021
Publications
- Gao, D., & Melham, T. (2021). End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 24–33). TU Wien Academic Press.
- Best Paper Runner Up Award in FMCAD 2021
- Master Thesis Award for best EDA tool in CadenceLIVE Europe 2021