ahelwer
4,348
reputation
2
15
38
Software engineering consultant specializing in formal methods & distributed systems, especially Z3 and TLA+.