151 reputation
4
bio website
location Berkeley, CA
age
visits member for 1 year, 9 months
seen Sep 20 at 23:32

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