Andrew Helwer, independent software engineering consultant. BSc in CS from the University of Calgary. Currently living in Atlanta, GA (prev. Seattle, WA). Focused on distributed systems and formal methods. TLA+ enthusiast!
Previous employers: Microsoft Quantum, Microsoft Azure, Acceleware Ltd.