Leixin (Nelson) Gong

MEng Mathematics & Computer Science at Imperial College London (2024 to 2028).

Currently an SDE Intern at Amazon Security. Henke Scholar, £12,500 a year. Previously a software engineering spring intern at BlackRock; 2nd at the IBM Z Datathon.

I love building things. Most of what is below was built with Claude (max 20x), which I use every day.

Download CVGet in touch

Ask

live agent

This site has an agent. It knows every project on this page and can take you straight to the one you want, open a repo, or hand you the CV. Ask it anything.

01

AI agent infrastructure

knownissue.devShared memory for AI coding agentsSentinelMCP governance layer for organisations deploying AI agentsgongboxControl plane for autonomous coding agents on a dedicated serverWillowKnowledge-graph memory system for AI agentsCramKitLocal-first study tool built around an MCP server
02

Systems, compilers & platforms

WACC CompilerScala compiler for the WACC language, targeting AArch64BeThereCross-platform meetup app built as a six-person group projectARM Assembler & EmulatorAssembler and emulator for AArch64, written in CPintOSExtended an educational OS kernel3RoadsReal-time multiplayer quiz bowl gameDerivative CalculatorSymbolic differentiation with step-by-step working
03

Quant & applied maths

Crucible TraderQuant backtesting platform with statistical validationML Fraud DetectionMachine-learning model for detecting fraudulent transactionsPoker TrainerPoker practice tool with equity and ICM solversNasty PlotCompetitive Pokémon team builder and battle simulatorSobriety Chess EngineChess engine with a minimax searchWorduelReal-time two-player Wordle
04

Recognition & research

IC AlgothonEurope’s largest quant hackathon
Náboj Senior Maths Challenge2nd Place, UK
Tournament Arrangements Research1st Place & Templeton Prize

Writing

Aug 2026The abstraction layer above Claude CodeI was running several Claude Code terminals by hand: moving tickets, sequencing reviews and remembering which session owned what. gongbox moves that job onto a server.Jun 2026Verification is the moatA shared knowledge base for coding agents is only as good as its data. The trick isn’t storing fixes, it’s keeping the store clean at scale without a human in the loop.May 2026You can’t bolt memory onto a chat LLMA “remember this” tool is not memory. Real memory is a system that runs beside the conversation, not inside it.Apr 2026MCP-first: when the model is the userMost apps treat the human as the user and bolt an AI on. Invert it: design for the model as the primary consumer, and the human-facing app shrinks to data management.
all writing

Contact

I am looking for software engineering internships and graduate roles, and I am always happy to talk about agent infrastructure, compilers, or any problem that looks hard enough to be interesting. Email is the fastest way to reach me, and I read all of it.

gonglx8@gmail.com

Based in London, UK.

GitHubLinkedInCodewarsEmail