ahelwer
...joined 13 years ago, and has 9123 karma
submissions / comments / favourites
Andrew Helwer, TLA⁺ core developer & occasional contractor.
Currently living in Atlanta, GA (prev. Seattle, WA). Focused on distributed systems and formal methods.
Previous employers: Microsoft Quantum, Microsoft Azure, Acceleware Ltd.
ahelwer@disjunctive.llc
https://ahelwer.ca/
https://discuss.systems/@ahelwer
https://github.com/ahelwer
https://www.linkedin.com/in/ahelwer
https://codeberg.org/ahelwer
https://en.wikipedia.org/wiki/User:Andrew_Helwer