I'm a passionate computer scientist at the University of Warwick (MEng '27) with a love for theory, and an aspiring software engineer with broad interests across systems, optimisation and verification, and AI.
- Efficient SMT-based Bounded Model Checker (ESBMC): under the direction of Dr. Lucas C. Cordeiro at the University of Manchester
- Third Year Project: Neural Architectures for Recommendation Systems
Tech:
- Python, Java, C#, C, C++
- Software Development
- Optimisation and verification
- Neural Networks, Machine Learning
- Linux, Low-Level Systems, Networking
- Some experience in Go and Haskell!
Non-tech:
- Reading philosophy 📖
- Playing the guitar 🎸
- Travelling the world 🗺️
Find me here: LinkedIn