Interested in hiring me for a contract? Contact me on LinkedIn or email Work playing to my skills includes:

  • Formally specifying your system in TLA+
  • Assisting in the design of your distributed system or protocol
  • Analyzing your probabilistic system or protocol with PRISM [1]
  • Writing tricky distributed systems code for your system’s backend
  • Validating your system’s implementation with model-based testing
  • Analyzing your access control system with the Z3 theorem prover [1]
  • Writing a tree-sitter grammar for your domain-specific language [1]
  • Education in technical quantum computing concepts [1] [2] [3] [4]
  • General development work on formal methods tools themselves

I have experience with a wide variety of programming languages including C++, Java, C#, Rust, Golang, and Python.

Email for personal correspondence.