151 reputation
bio website
location Berkeley, CA
visits member for 1 year, 11 months
seen Oct 12 at 21:21

I identify intellectually as a computer scientist and a logician. My research areas include program verification, static analysis, logic. I have an enduring interest in formal languages, automata theory, linguistics and Bayesian reasoning.

This user has not asked any questions

3 Votes Cast

all time   by type  
2 up 1 question
1 down 2 answer