8,816 reputation
21949
bio website
location Berkeley, CA
age
visits member for 3 years, 8 months
seen 16 hours ago

Research areas: program verification, static analysis, logic.


709
× 8
311
× 4
406
× 6
295
× 2
373
161
× 26
353
× 8
148
× 21
332
× 5
74
× 8

781 Votes Cast

all time   by type  
752 up 258 question
29 down 523 answer