I'm currently studying at the University of Warwick for a Computer Science BSc with an intercalated year as a CAD design verification intern at Apple.
Come visit my website to see more!
- An assessment of Rust's suitability for performant and productive implementations of HPC codebases (report coming soon!)
- Software tooling to facilitate running performance experiments on HPC resources through the Slurm workload manager (prototype documentation here)
- The fine details of interactions between compilers and compute hardware, particularly around how compiler optimisations apply to non-standard hardware configurations
- Hardware description languages, hoping to get my hands dirty with some Verilog when I have a bit more free time
- Reversible debugging tooling, such as
rr - Functional programming through a category theoretic lens