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.

I currently work doing Formal Verification using the Lean 4 proof assistant at Nethermind where I prove properties about programs and compiler semantics.

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!