161 reputation
4
bio website
location Berkeley, CA
age
visits member for 2 years, 3 months
seen Oct 12 '14 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
Theoretical Computer Science 9,271 rep 22049
Computer Science 664 rep 38
MathOverflow 343 rep 410
Academia 216 rep 14
Philosophy 161 rep 4

3 Votes Cast

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