network profile
| bio | website | lri.fr/~rouxcody |
|---|---|---|
| location | Orsay, France | |
| age | ||
| visits | member for | 6 months |
| seen | Apr 30 at 23:31 | |
| 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
3 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 3 | up | 0 | question | ||
| 0 | down | 3 | answer | ||
