ahelwer

ahelwer avatar
Active user
8 years ago by invitation from cbilson
326, averaging 3.40 per story/comment
15, most commonly tagged formalmethods
80
https://ahelwer.ca/
https://github.com/ahelwer

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