I am a software engineer focused on high-assurance open-source infrastructure.
My background is in typed functional programming in Scala (big data, blockchain, container security) and Haskell - abstractions from category theory for distributed systems.
I use types to exclude incorrect code, strengthen and test invariants using property tests, exposing algebraic structure and strengthen correctness using formal methods
Current focus (do not trade the water and do something about AI induced threats):
- supply-chain security for Haskell and Scala, vulnerability intelligence - cabal-plan-submit
- modern cryptography infrastructure, especially elliptic curves, ZK, MPC, FHE, and post-quantum readiness - modern-cryptography-kata
- blockchains with strong academic research behing it - Cardano, Midnight and resilient blockchain infrastructure
- clean, well-tested code with explicit invariants
More details on my GitHub profile.