634 reputation
28
bio website
location Berkeley, CA
age
visits member for 2 years, 7 months
seen Sep 13 at 18:17

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