370 reputation
26
bio website pobox.com/~flash
location Palo Alto
age
visits member for 3 years, 8 months
seen Nov 18 at 16:43

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.