My Internships

I have done 3 internships and is doing a fourth one currently, 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 months in Master 1 done with Pr. Shinnosuke Seki at the University of Electro-communication (Tokyo, Japan). The report is available here. A paper is on its way!
• Internship of 4.5 months in Master 2 with Giulio Manzonetto on reduction graphs of λ-terms. We are trying to characterize the reductions graphs of λ-term build only from the identity and applications.

Papers

I don't have yet any papers, but a paper on the KLX number has been submitted to MFCS! I'm also always quite intrested in working with other peoples, especially students. If you want to collaborate, feel free to reach me at research@bourotte.com.