8,331 reputation
21642
bio website
location Berkeley, CA
age
visits member for 3 years, 1 month
seen Apr 9 at 6:04

Research areas: program verification, static analysis, logic.


680
× 8
297
× 4
390
× 6
280
× 2
357
154
× 26
337
× 8
142
× 21
317
× 5
72
× 8

780 Votes Cast

all time   by type  
751 up 258 question
29 down 522 answer