ahelwer's user avatar
ahelwer's user avatar
ahelwer's user avatar
ahelwer
  • Member for 4 years, 6 months
  • Last seen more than a month ago
Stats
209
reputation
891
reached
1
answer
4
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.
1
silver badge
9
bronze badges
1
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
Top posts