ahelwer
ahelwer avatar
Active user
6 years ago by invitation from cbilson
82, averaging 4.10 per story/comment
7, most commonly tagged compsci
13
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)