8,556 reputation
21745
bio website
location Berkeley, CA
age
visits member for 3 years, 5 months
seen 1 hour ago

Research areas: program verification, static analysis, logic.


697
× 8
304
× 4
400
× 6
288
× 2
367
155
× 26
345
× 8
143
× 21
324
× 5
73
× 8

781 Votes Cast

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