9,291 reputation
22049
bio website
location Berkeley, CA
age
visits member for 4 years, 1 month
seen Apr 22 at 4:47

Research areas: program verification, static analysis, logic.


728
× 8
318
× 4
413
× 6
303
× 2
380
182
× 28
363
× 8
151
× 21
339
× 5
78
× 8
Theoretical Computer Science 9,291 rep 22049
Computer Science 664 rep 38
MathOverflow 343 rep 410
Academia 216 rep 14
Philosophy 161 rep 4

807 Votes Cast

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