About
I’m a computer scientist specializing in blockchain, formal verification and programming languages.
My current project is KWasm. I want to verify WebAssembly programs on blockchains, especially Ethereum.
This website is mostly long-form blogposts about completely different topics. It’s for the stuff that won’t fit in a tweet and I want to be more shareable than a Facebook post.
Happy reading.