ahelwer's user avatar
ahelwer's user avatar
ahelwer's user avatar
ahelwer
  • Member for 5 years, 2 months
  • Last seen this week
Stats
4,028
reputation
69k
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.
13
silver badges
33
bronze badges
34
Score
10
Posts
15
Posts %
33
Score
9
Posts
14
Posts %
25
Score
9
Posts
14
Posts %
25
Score
6
Posts
9
Posts %
24
Score
5
Posts
8
Posts %
20
Score
11
Posts
17
Posts %
Top posts
View all questions and answers