network profile
| bio | website | |
|---|---|---|
| location | Berkeley, CA | |
| age | ||
| visits | member for | 1 year, 3 months |
| seen | 21 hours ago | |
| stats | profile views | 29 |
Research areas: program verification, static analysis, logic.
This user has not asked any questions
|
Theoretical Computer Science | 4,641 rep | 11030 |
|
Computer Science | 524 rep | 17 |
|
Area 51 | 151 rep | |
|
Philosophy | 141 rep | 3 |
|
Academia | 101 rep | 1 |
This user has no active bounties
33 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 31 | up | 10 | question | ||
| 2 | down | 23 | answer | ||
