- Research Associate
Research
My research mainly focuses on applying CHERI to the RISC-V architecture.
My PhD thesis is available at Apollo or as a tech report.
Teaching
Part II Projects I've supervised: "Parallelising sequence alignment" (2019-20), "Dynamic Binary Translator from Arm to RISC-V" (2020-21).
Courses I've supervised: Digital Electronics, Discrete Maths, Introduction to Architecture, Cybersecurity, Cryptography, Hoare Logic and Model Checking.