ahelwer
ahelwer avatar
Active user
5 years ago by invitation from cbilson
37, averaging 2.64 per story/comment
5, most commonly tagged compsci
9
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)