🌍
-
Qualcomm
- Cork, Ireland
-
23:28
(UTC -07:00)
Andrew Helwer
ahelwer
Formal methods, distributed systems, quantum computing. Independent software engineering contractor. TLA⁺ enthusiast & Canadian!
Disjunctive Consulting LLC Atlanta, Georgia