Skip to main content
ahelwer's user avatar
ahelwer's user avatar
ahelwer's user avatar
ahelwer
  • Member for 6 years, 3 months
  • Last seen more than 6 years ago
Stats
293
reputation
0
reached
0
answers
0
questions
Loading…
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
1
bronze badge
Posts

This user hasn’t posted yet.