selig
4,834
reputation
1
20
37
I'm a computer scientist working in automated reasoning and program verification. More can be found elsewhere online.