604 reputation
27
bio website
location Berkeley, CA
age
visits member for 2 years, 1 month
seen Apr 1 at 12:30

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