136 reputation
bio website lri.fr/~rouxcody
location Orsay, France
visits member for 2 years, 5 months
seen Sep 11 at 20:33

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