selig
  • Member for 8 years, 5 months
  • Last seen more than a month ago
Stats
333
reputation
3k
reached
4
answers
1
question
Loading…
About

I'm a computer scientist working in automated reasoning and program verification. More can be found elsewhere online.

This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
4
Score
2
Posts
40
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
2
Score
2
Posts
40
Posts %
2
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %