Royal Holloway, University of LondonFinal year project grade (88%), Overall grade (86%)
Here are a collection of paid research projects I completed over the summer while at University.
- Wrote a tool that used the official Go parser to count occurrences of generic constructs in Go projects.
- This was used to measure the adoption of generic features in open source Go projects over time.
- Generated graphs for use in a paper on measuring the impact of generics on the Go programming language.
- Built and tested firmware for a custom board with an Arm micro-controller in Rust.
- Wrote drivers for different sensors and controllers including a combined gyroscope, accelerometer and magnetometer.
- Designed a code generation tool that consumed a protocol description language and generated well-typed stateful APIs to communicate between the micro-controller and a Raspberry Pi over a UART bus.
- Built a regular expression parser and matcher in C.
- Used the Verified Software Toolchain and Rocq to prove the implementation was consistent with the semantics of regular expressions.