8,856 reputation
21949
bio website
location Berkeley, CA
age
visits member for 3 years, 9 months
seen Dec 14 at 22:36

Research areas: program verification, static analysis, logic.


711
× 8
313
× 4
406
× 6
297
× 2
373
162
× 26
355
× 8
149
× 21
334
× 5
74
× 8
Theoretical Computer Science 8,856 rep 21949
Computer Science 654 rep 28
MathOverflow 343 rep 410
Academia 206 rep 14
Philosophy 151 rep 4

781 Votes Cast

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