My name is Andrew Helwer, and I’m a software engineer consultant specializing in formal methods & distributed systems. I have nearly a decade of industry experience having worked for Microsoft Quantum, Microsoft Azure, and Acceleware. I have a BSc in computer science from the University of Calgary, and am primarily interested in distributed systems, formal methods, and quantum computing. I’m also a TLA+ enthusiast! You can contact me on LinkedIn, or email for consulting-related inquiries. My personal email is

Currently I am based in Atlanta, GA.