151 reputation
3
bio website
location Berkeley, CA
age
visits member for 1 year, 3 months
seen Mar 31 at 5:05

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