user avatar
user avatar
user avatar
ahelwer
  • Member for 3 years, 11 months
  • Last seen more than a month ago
Stats
3,908
reputation
52k
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
32
Score
9
Posts
14
Posts %
31
Score
10
Posts
15
Posts %
25
Score
9
Posts
14
Posts %
24
Score
6
Posts
9
Posts %
23
Score
5
Posts
8
Posts %
19
Score
11
Posts
17
Posts %
Top posts
View all questions and answers