|visits||member for||1 year, 8 months|
|seen||Nov 24 '13 at 17:21|
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.
|bio||website||lri.fr/~rouxcody||visits||member for||1 year, 8 months|
|location||Orsay, France||seen||Nov 24 '13 at 17:21|
0 Votes Cast
This user has not cast any votes