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