meta user
network profile
| bio | website | |
|---|---|---|
| location | Berkeley, CA | |
| age | ||
| visits | member for | 2 years, 3 months |
| seen | 4 hours ago | |
| stats | profile views | 1,040 |
Research areas: program verification, static analysis, logic.
|
Theoretical Computer Science | 4,641 rep | 11030 |
|
Computer Science | 524 rep | 17 |
|
Area 51 | 151 rep | |
|
Philosophy | 141 rep | 3 |
|
Academia | 101 rep | 1 |
| Necromancer × 3 | Quorum |
| Enlightened | Analytical |
| Nice Answer × 10 | Excavator |
| Yearling × 2 | Citizen Patrol |
| Custodian × 5 | Suffrage |
This user has no active bounties
622 Votes Cast
| all time | by type | month | week | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 598 | up | 217 | question | 3 | 1 | ||||
| 24 | down | 405 | answer | ||||||
