ahelwer
ahelwer avatar
Active user
5 years ago by invitation from cbilson
64, averaging 3.56 per story/comment
6, most commonly tagged compsci
12
https://ahelwer.ca/post
https://github.com/ahelwer
@ahelwer

Formal methods, distributed systems, quantum computing. Canadian software engineer at Microsoft Quantum. TLA+ enthusiast, mountain climber, and antifascist (he/him)