I'm now at Jane Street in the OCaml Language team,
where I hack on OxCaml's type checker and compiler.
I graduated my BA and MEng in Computer Science at the University of Cambridge in 2025.
I had ran the Competitive Programming Society since 2022.
I'm broadly interested in research on functional programming
[scholar][orcid].
Particularly:
Language and type system design.
Type inference – especially with let-generalisation, GADTs,
structural types, subtyping, or constraint-based approaches.
Data-parallel programming – especially array/tensor programs on GPUs.
I like computer science – and sometimes even computers. These things are pretty cool:
ray marching,
Datalog,
abstract algebra. Among more concrete algebras, I like:
Embedding Pointful Array Programming in Python.[thesis][repo]
Supervisor: Alan Mycroft. Awarded first class with distinction and the
Highest Scoring Part II Dissertation prize.
Paper (November 2023).
Beyond Erdős-Rényi: Generalisation in Algorithmic Reasoning.
NeurIPS GLFrontiers &
ICBINB (presentations),
LOG (extended abstract). Authors:
Dobrik Georgiev, Pietro Lio, Jakub Bachurski, Junhua Chen, Tunan Shi
Job (July 2022 – May 2023).
I interned and worked part-time at QuantCo.
I built a functional domain-specific language embedded in Python – Spox –
for constructing ONNX.
[repo]
We presented it with Christian Bourjau at PyCon DE 2023.
[talk]
University (October 2021)
After graduating high school (Staszic),
I matriculated at Trinity College, Cambridge.