Apr - Jul 2020: internship at Arm Ltd.
I worked with Anthony Fox in the security research group, investigating the Sail language ecosystem and its applications in formal reasoning about the semantics of the Arm instruction set. In particular, I used the HOL4 interactive theorem-prover to reason in the context of CakeML.
I received my undergraduate degree at University of Cambridge (2015 - 2018). In my first year I read Natural Sciences, before switching to Computer Science for my second and third years. My Director of Studies during these last two years was Tim Griffin.
You can also find a short CV here.
I am a coach for University of Kent Rowing Club.