ahelwer

ahelwer avatar
Active user
8 years ago by invitation from cbilson
166, averaging 4.49 per story/comment
11, most commonly tagged formalmethods
25
https://ahelwer.ca/
https://github.com/ahelwer

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