8,636 reputation
21846
bio website
location Berkeley, CA
age
visits member for 3 years, 6 months
seen Sep 12 at 14:37

Research areas: program verification, static analysis, logic.


702
× 8
308
× 4
402
× 6
292
× 2
369
155
× 26
350
× 8
143
× 21
328
× 5
73
× 8

781 Votes Cast

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