|visits||member for||1 year, 8 months|
|seen||Jun 30 '12 at 10:12|
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||Jun 30 '12 at 10:12|
0 Votes Cast
This user has not cast any votes