ahelwer's user avatar
ahelwer's user avatar
ahelwer's user avatar
ahelwer
  • Member for 1 year, 4 months
  • Last seen this week
About

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

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
Top posts