634 reputation
27
bio website
location Berkeley, CA
age
visits member for 2 years, 5 months
seen Aug 3 at 17:27

Research areas: program verification, static analysis, logic.


This user has not asked any questions

34 Votes Cast

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