I'm a mathematician turned functional programmer/software developer/formal verification engineer. I'm particularly interested in model checking, distributed systems, dependent types, decentralization, blockchain, and concurrency.

My favorite languages are: Ocaml, Haskell, Scala, Rust, Lean, Agda, Idris, and SML