9,371 reputation
22150
bio website
location Berkeley, CA
age
visits member for 4 years, 2 months
seen Apr 22 at 4:47

Research areas: program verification, static analysis, logic.


731
× 8
319
× 4
415
× 6
304
× 2
382
182
× 28
364
× 8
153
× 21
341
× 5
78
× 8
Theoretical Computer Science 9,371 rep 22150
Computer Science 674 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