136 reputation bio website lri.fr/~rouxcody location Orsay,
France visits member for 1 year, 11 months seen Mar 8 at 22:49
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 no recent positive reputation changes This user has not
asked any questions  68 Votes Cast  all time   by type   68 up
17 question 0 down 51 answer