About Me

I am, amongst many things, a computer programmer. At the moment I'm employed full-time to do Ethereum CL client development and blockchain security auditing.

Right now, the main focus areas of my research are:

• Zero-knowledge cryptography (particularly within the Starkware ecosystem)
• Symbolic execution (with emphasis on security application to blockchain projects)
• P2P networking
• Virtual machine design and tooling

Here are some technologies I love:

• Rust
• Haskell
• IPFS
• Ethereum
• Urbit

Reach out to me for an up-to-date CV or even just to vibe out.