network profile
| bio | website | lri.fr/~rouxcody |
|---|---|---|
| location | Orsay, France | |
| age | ||
| visits | member for | 10 months |
| seen | Jul 13 '12 at 18:08 | |
| 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
0 Votes Cast
This user has not cast any votes
