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!