ahelwer
4,128
reputation
1
13
33
Software engineering consultant specializing in formal methods & distributed systems, especially Z3 and TLA+.