ahelwer
ahelwer avatar
Active user
7 years ago by invitation from cbilson
155, averaging 4.31 per story/comment
10, most commonly tagged compsci
25
https://ahelwer.ca/post
https://github.com/ahelwer

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