My name is Andrew Helwer, and I'm a software engineer in Microsoft Quantum. 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 follow me on Twitter at @ahelwer