My Internship's reports

I have currently done 4 internships, mostly in logic and graph theory.

• I have done a 3 weeks internship with Jean Christophe Filliatre by my own request on SMT solver and lambda calculus. No reports available.
• I have done a 10 weeks internship with Radu Iosif on an implementation of courcelle's theorem. The report (FR only) is available here
• Internship of 3 month in Master 1 done with Pr. Shinnosuke Seki at the University of Electro-communication (Tokyo, Japan). The report is available here

Papers

I do not currently have any published paper under my name. I am working on publishing a paper about the KLX number due to my internship with Shinnosuke.