9,601 reputation
22150
bio website
location Berkeley, CA
age
visits member for 4 years, 6 months
seen 2 days ago

Research areas: program verification, static analysis, logic.


751
× 8
323
× 4
431
× 6
309
× 2
398
183
× 28
369
× 8
153
× 21
345
× 5
78
× 8

809 Votes Cast

all time   by type  
780 up 265 question
29 down 544 answer