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