9,441 reputation
22150
bio website
location Berkeley, CA
age
visits member for 4 years, 4 months
seen Jun 24 at 7:49

Research areas: program verification, static analysis, logic.


737
× 8
321
× 4
419
× 6
306
× 2
386
182
× 28
366
× 8
153
× 21
343
× 5
78
× 8
Theoretical Computer Science 9,441 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