| bio | website | andrej.com |
|---|---|---|
| location | Slovenia | |
| age | 42 | |
| visits | member for | 2 years, 8 months |
| seen | 2 hours ago | |
| stats | profile views | 1,381 |
I am a professional mathematician and theoretical computer scientist (what is the difference?) . My area of work is a mix of logic, semantics, programming languages, category theory, constructive mathematics and computability.
This user has not asked any questions
|
|
Theoretical Computer Science | 7,702 rep | 1638 |
|
|
Computer Science | 3,153 rep | 517 |
|
|
Stack Overflow | 1,056 rep | 313 |
|
|
Mathematics | 221 rep | 15 |
|
|
TeX - LaTeX | 121 rep | 2 |
This user has no active bounties
160 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 99 | up | 94 | question | ||
| 61 | down | 66 | answer | ||