selig
Stats
333
reputation
3k
reached
4
answers
1
questions
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

Top tags (9)

Score 4
Posts 2
Posts % 40
Score 3
Posts 1
Score 3
Posts 1
Score 2
Posts 2
Score 2
Posts 1
Score 1
Posts 1

Top posts (5)