654 reputation
28
bio website
location Berkeley, CA
age
visits member for 2 years, 9 months
seen Dec 8 at 6:20

Research areas: program verification, static analysis, logic.


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

34 Votes Cast

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