Interested in hiring me for a contract? Contact me on LinkedIn or email consulting@disjunctive.llc. 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 ahelwer@protonmail.com for personal correspondence.