151 reputation
4
bio website
location Berkeley, CA
age
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
Theoretical Computer Science 8,856 rep 21949
Computer Science 654 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