ahelwer
  • Member for 3 years, 9 months
  • Last seen more than a week ago
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
6
bronze badges
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %