|visits||member for||2 years, 5 months|
|seen||Jun 5 at 19:13|
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||2 years, 5 months|
|location||Orsay, France||seen||Jun 5 at 19:13|
0 Votes Cast
This user has not cast any votes