400 reputation
bio website pobox.com/~flash
location Palo Alto
visits member for 4 years, 4 months
seen yesterday

Static analyzer and compiler tester, rewriting my Oxford doctoral thesis on Church’s Set Theory with a Universal Set, to appear in Logique et Analyse.

This user has not asked any questions

234 Votes Cast

all time   by type   month   week  
233 up 25 question 4 2
1 down 209 answer