8,946 reputation
21949
bio website
location Berkeley, CA
age
visits member for 3 years, 10 months
seen yesterday

Research areas: program verification, static analysis, logic.


717
× 8
316
× 4
407
× 6
301
× 2
374
162
× 26
360
× 8
149
× 21
337
× 5
74
× 8
Theoretical Computer Science 8,946 rep 21949
Computer Science 664 rep 28
MathOverflow 343 rep 410
Academia 206 rep 14
Philosophy 151 rep 4

786 Votes Cast

all time   by type   month  
757 up 258 question 3
29 down 528 answer