Skip to main content
Share Your Experience: Take the 2024 Developer Survey
ahelwer's user avatar
ahelwer's user avatar
ahelwer's user avatar
ahelwer
  • Member for 5 years, 10 months
  • Last seen more than a month ago
Stats
4,138
reputation
81k
reached
35
answers
31
questions
Loading…
About

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

2
gold badges
13
silver badges
34
bronze badges
35
Score
9
Posts
14
Posts %
34
Score
10
Posts
15
Posts %
26
Score
5
Posts
8
Posts %
25
Score
9
Posts
14
Posts %
25
Score
6
Posts
9
Posts %
22
Score
11
Posts
17
Posts %
Top posts
View all questions and answers