8,716 reputation
21948
bio website
location Berkeley, CA
age
visits member for 3 years, 7 months
seen yesterday

Research areas: program verification, static analysis, logic.


704
× 8
309
× 4
403
× 6
293
× 2
370
161
× 26
351
× 8
148
× 21
329
× 5
73
× 8

781 Votes Cast

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