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!