8,506 reputation
21644
bio website
location Berkeley, CA
age
visits member for 3 years, 4 months
seen 2 days ago

Research areas: program verification, static analysis, logic.


694
× 8
302
× 4
399
× 6
285
× 2
366
154
× 26
342
× 8
143
× 21
322
× 5
72
× 8

781 Votes Cast

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