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