664 reputation
38
bio website
location Berkeley, CA
age
visits member for 3 years
seen Mar 7 at 2:57

Research areas: program verification, static analysis, logic.


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

34 Votes Cast

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