9,231 reputation
21949
bio website
location Berkeley, CA
age
visits member for 3 years, 11 months
seen yesterday

Research areas: program verification, static analysis, logic.


725
× 8
318
× 4
411
× 6
303
× 2
378
180
× 28
363
× 8
150
× 21
339
× 5
77
× 8
Theoretical Computer Science 9,231 rep 21949
Computer Science 664 rep 28
MathOverflow 343 rep 410
Academia 216 rep 14
Philosophy 161 rep 4

805 Votes Cast

all time   by type   month   week  
776 up 262 question 8 8
29 down 543 answer