ahelwer
  • Member for 3 years, 6 months
  • Last seen more than a month ago
Stats
3,818
reputation
46k
reached
35
answers
31
questions
Loading…
About

Software engineering consultant specializing in formal methods & distributed systems, especially Z3 and TLA+.

This user doesn’t have any gold badges yet.
11
silver badges
30
bronze badges
31
Score
9
Posts
14
Posts %
30
Score
10
Posts
15
Posts %
25
Score
9
Posts
14
Posts %
24
Score
6
Posts
9
Posts %
22
Score
5
Posts
8
Posts %
18
Score
11
Posts
17
Posts %
Top posts
View all questions and answers