ahelwer

Status: Active user
Joined: 9 years ago by invitation from cbilson
Karma: 1347, averaging 4.69 per story/comment
Stories Submitted: 27, most commonly tagged formalmethods
Comments Posted: 259
Homepage: https://ahelwer.ca/
GitHub: https://github.com/ahelwer
About:

Independent software engineering consultant focused on formal methods, distributed systems, and quantum computing. TLA⁺ enthusiast!