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. The report is available here. A paper is on its way!

Papers

I have 1 paper that have been accepted at MFCS, and another paper on its way ! If you want to collaborate, feel free to reach me at research@bourotte.com.

• A Congestion Parameter for Depth-First Graph Traversals Codaline Bourotte, Gwendal Ducloz, Pekka Orponen, Shinnosuke Seki https://doi.org/10.48550/arXiv.2606.24675

Conferences

I haven't yet presented anything to any conferences, but I've been at :

• Lyon's Chocola meetups (multiple ones from 2023 - 2025)
• The DNA 31 conference at Lyon (2025)
• The 20 year anniversarry of the GdR IFM (2025) (Thanks Tito for the invite!)
• The Probabilistic Programming CIRM week (2026)