151 reputation
4
bio website
location Berkeley, CA
age
visits member for 2 years, 1 month
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 8,976 rep 21949
Computer Science 664 rep 28
MathOverflow 343 rep 410
Academia 206 rep 14
Philosophy 151 rep 4

3 Votes Cast

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