ahelwer

Status: Active user
Joined: 9 years ago by invitation from cbilson
Karma: 985, averaging 4.48 per story/comment
Stories Submitted: 23, most commonly tagged formalmethods
Comments Posted: 196
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!