664 reputation
28
bio website
location Berkeley, CA
age
visits member for 3 years
seen Feb 17 at 1:57

Research areas: program verification, static analysis, logic.


This user has not asked any questions
Theoretical Computer Science 9,231 rep 21949
Computer Science 664 rep 28
MathOverflow 343 rep 410
Academia 216 rep 14
Philosophy 161 rep 4

34 Votes Cast

all time   by type  
32 up 10 question
2 down 24 answer