Independent software engineering consultant with over a decade of professional experience. Previously worked at Acceleware, Microsoft Azure Compute, Microsoft Azure Networking, and Microsoft Quantum. BSc in Computer Science from the University of Calgary. From Canada, currently based out of Atlanta, GA, USA. TLA⁺ enthusiast!
- Formally specifying & model-checking your system with TLA⁺  
- Formally proving the correctness of your system  
- Assisting in the design of your distributed system or protocol 
- Analyzing your probabilistic system or protocol with PRISM 
- 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  
- Writing a tree-sitter grammar for your domain-specific language 
- Education in technical quantum computing concepts    
- General development work on formal methods tools themselves 
I have experience with C++, Java, C#, Rust, Golang, Python, and Kubernetes. See my full résumé here.
Email firstname.lastname@example.org for personal correspondence. I’m always happy to answer questions about my interests, especially quantum computing!
Outside of work I’m an avid climber; find tales & photos of my adventures at outdoors.ahelwer.ca.
All content on this website is licensed under CC-BY-SA 4.0.