ahelwer
ahelwer avatar
Active user
6 years ago by invitation from cbilson
145, averaging 4.26 per story/comment
9, most commonly tagged formalmethods
24
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)