network profile
| bio | website | |
|---|---|---|
| location | Berkeley, CA | |
| age | ||
| visits | member for | 4 months |
| seen | 11 hours ago | |
| stats | profile views | 1 |
I identify intellectually as a computer scientist and a logician. My research areas include program verification, static analysis, logic. I have an enduring interest in formal languages, automata theory, linguistics and Bayesian reasoning.
This user has not asked any questions
|
Theoretical Computer Science | 4,556 rep | 1930 |
|
Computer Science | 514 rep | 17 |
|
Area 51 | 151 rep | |
|
Philosophy | 141 rep | 3 |
|
Academia | 101 rep | 1 |
This user has no active bounties
3 Votes Cast
| all time | by type | month | |||||
|---|---|---|---|---|---|---|---|
| 2 | up | 1 | question | 1 | |||
| 1 | down | 2 | answer | ||||
