136 reputation
4
bio website lri.fr/~rouxcody
location Orsay, France
age
visits member for 2 years, 5 months
seen Aug 22 at 13:58

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.


136 Reputation

10 May 30 '13
15 May 23 '12
10 Mar 27 '12
100 Mar 26 '12