Andrew Helwer
Andrew Helwer

Andrew Helwer

Formal methods, distributed systems, quantum computing. Software engineer in Azure Networking. TLA+ enthusiast.