Education

BSc (Hons), Computer Science, First Class

Sep 2021 - Jun 2024

Royal Holloway University of London

Relevant modules: Object Oriented Programming I, Programming Laboratory, Machine Fundamentals, Software Development, Software Design, Mathematical Structures, Internet Services

Below are some paid research projects I completed while at University.

Go Generics Survey

Generics were introduced in Go 1.18. TODO

#golang

#python

Open Bot Brain

Jul 2023 - Sep 2023

Built and tested firmware for a custom board with an Arm microcontroller in Rust.

Wrote drivers for various different sensors and controllers including a combined gyroscope, accelerometer and magnetometer.

Worked on a prototype for a protocol description language to generate well typed APIs for protocols to facilitate communication between the microcontroller and a Raspberry Pi over a UART bus.

#embedded software

#rust

#session types

Certifiably Correct Regular Expressions

Jul 2022 - Sep 2022

Successfully completed an undergraduate research project on Certifiably Correct Regular Expressions.

Used the Verified Software Toolchain and Rocq to prove that a regular expression implementation in C was correct.

Produced a report detailing my project and the experience I’ve gained using the VST.

#proof theory

#c

#rocq