Experience

Quantitative Developer

Queueco
Summer 2022 & July 2023 - Ongoing

Developed a high-frequency trading engine for cryptocurrency market making in Java

Java

Solely built and maintained a trading engine management console in Next.JS

Next.JS,

React, and

TailwindCSS collaborating with traders to deliver PnL-enhancing features.

Provided high performance connectivity in Java to 30+ exchanges with proprietary HTTP/WebSocket clients and parser.

Integrated binary-encoded market data to deliver a low latency trading engine in a colocated trading machine

Fixed-term & Contracting Software Engineer

Viapontica AI
Summer 2020

Worked with the UK Government to develop software to recognise incidents in public.

Designed and deployed a scalable Flask

Flask server in Python

Python on

AWS, utilising caching and compound indexing to reduce end-to-end latency benchmark latency by 32-72%.

SymbaSync Ltd
Summer 2019

Developed features on a talent sourcing management software written in

TypeScript and MongoDB

MongoDB.

Integrated SAP HR Platform to deliver a pilot to new clients to large banks.

Functional Programming Teaching Assistant

University of Edinburgh
Sep 2019 - June 2023

Received £20k+ grant over 3 academic years to develop a property-based testing software in a custom DSL written in Haskell

Haskell.

Deployed a web platform for markers to grade assignments and provide feedback to 500+ students per term, automating the human marking time and cost of the teaching team.

Taught weekly tutorial for over 60 students, introducing logic and various computational models. 20+ hours per week contract while keeping up with full time study.

Nominated for Edinburgh University Student Association Teaching Award two years in a row.

Programming Language Research Assistant

University of Edinburgh
Summer 2021

Worked on the client-side runtime of Links, a functional language for web programming written in OCaml

OCaml. Jointly funded by

LFCS

^🔗 and

UKRI

^🔗 .

WebAssembly compiler with a significant performance boost.

Produced benchmarks based on various mathematical models to test the performance of the language runtimes and its CI/CD integrations on

GitHub Actions.

Education

BSc Cognitive Science (Informatics)

University of Edinburgh
2018-21 & 2022-23

Achieved first-class with dissertation on

Software Tool to Analyse Finite Monoid in Category Theory

^🔗 , where I built an app to visualise and verify properties of a category in Rust

Rust targeting

WebAssembly on a React

React web app. This was then cross verified via

Z3 Theorem Prover

^🔗 by Microsoft

Relevant Courses

Math Core (Discrete Mathematics, Linear Algebra, Calculus, Probability and Statistics)

CS Core (Algorithms, Data Structures, Computer Architecture, Object-Oriented Programming)

Theory (Theory of Computation, Compilers, Functional Programming, First-order and Modal Logics)

Data Science (Machine Learning, Speech Processing, Search Engine and Information Retrieval)

Relevant Courseworks

Cost-Constrained TSP Solver for Drones modelled in Java

Java

Computer Security CTF with multi-platform poker chip management app

^🔗 in

Flutter and

TypeScript server in C++

C++

Projects/Awards

Personal Website

Personal website with CV and blog. Powered by Gatsby

Gatsby with React

React and

GraphQL. Supports a custom markup language written in Rust

Rust which is compiled on the client-side by

WebAssembly.

Holdem69

^🔗

Sign-up, payment, and stats for the weekly home tournament that I organise among the students. Built with React

React,

TailwindCSS,

Go, and

PostgreSQL.

Hack for Ukraine - 1st
Best Infrastructure - 1st

^🔗

Oxford Hack 2022

Twilio Prize - 1st
Marks & Spencer Prize - 2nd

^🔗

Hack the Burgh VII

Overall Prize - 1st

^🔗

StacsHack 2020

SkyScanner Prize - 2nd

^🔗

Hack the Burgh VI

Wharton School Prize - 2nd

^🔗

PennApps XX

Code Golf Challenge - 1st

^🔗

Hack the Burgh V

JPMorgan Prize - 1st

^🔗

StacsHack 2019

Other hackathons

Invited with a travel grant, 3rd prize or below.

Hello World Hack 2020, Edinburgh.

ICHack 2019, Imperial College London.

Junction 2020, Aalto University, Finland.

Facebook Hack 2020, Facebook London.

Digital Education Hack, Edinburgh.

Hack Cambridge 2020, Cambridge.

Open-source contribution

Documentation PRs in: Hspec, GatsbyJS, Google OR-Tools, Firebase, PLFA, jsprit and more.

Other awards

Saltire Golden Award by the Scottish Government (2015-17) for 220 hours volunteering. Taught imperative programming in several schools under Edinburgh Council.

12 Kyu certified in Go by Korea Baduk Association.

2 years winner of the Natural Language Processing Challenge hosted by G-Research.