164 reputation
5
bio website lri.fr/~rouxcody
location Orsay, France
age
visits member for 2 years, 10 months
seen yesterday

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.


164 Reputation

10 today
18 2 days ago
10 May 30 '13
15 May 23 '12
10 Mar 27 '12
100 Mar 26 '12