9,491 reputation
22150
bio website
location Berkeley, CA
age
visits member for 4 years, 5 months
seen Jul 20 at 6:48

Research areas: program verification, static analysis, logic.


741
× 8
321
× 4
423
× 6
307
× 2
390
183
× 28
367
× 8
153
× 21
343
× 5
78
× 8

807 Votes Cast

all time   by type  
778 up 264 question
29 down 543 answer