160 reputation
bio website pobox.com/~flash
location Palo Alto, CA
visits member for 3 years, 11 months
seen Mar 31 '14 at 2:08

Unemployed static analysis consultant and compiler tester, currently finishing my doctoral thesis on Church’s set theory with a universal set.

This user has not asked any questions

153 Votes Cast

all time   by type  
152 up 65 question
1 down 88 answer