network profile
| bio | website | lri.fr/~rouxcody |
|---|---|---|
| location | Pittsburgh, PA | |
| age | ||
| visits | member for | 4 months |
| seen | Mar 11 at 15:55 | |
| stats | profile views | 0 |
I am currently a postdoc in theoretical computer science, my main fields of interest revolve around logic and type theory, termination checking, satisfiability modulo theories.
This user has not asked any questions
|
Theoretical Computer Science | 1,450 rep | 37 |
|
Computer Science | 723 rep | 15 |
|
Mathematics | 126 rep | 2 |
|
Stack Overflow | 101 rep | |
|
Programmers | 101 rep | 1 |
This user has no active bounties
4 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 4 | up | 2 | question | ||
| 0 | down | 2 | answer | ||
