Hi there!

My name is Sam Ezeh and I'm a programmer studying Computer Science at Durham University.

I interned at Netcraft before interning at Google.

During the autumn I interned doing Formal Verification with the Lean 4 proof assistant at Nethermind where I proved properties about programs and compiler semantics.

This summer, I interned as a Quantitative Developer on the Electronic Market Making team at Qube Research & Technologies.

I'm a developer for the open source Lichess website where I get to work with an awesome team on some cool new features for the site.

I'm currently working on a project to make proof assistants more accessible and I'm always open to opportunities at new places!