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 writing software and at Nethermind where I got to use the Lean 4 proof assistant to prove properties about programs and compiler semantics.

I'm now at Qube Research & Technologies interning as a Quantitative Developer.

In the past, I used to contribute to the open source Lichess website where I got to work with an awesome team on some cool new features for the site and in my free-time I like to experiment with proof assistants like Lean and Agda.