My Internships

I have completed four research internships, mostly in logic and graph theory.

• 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!
• Internship of 3 months in Master 1 done with Pr. Shinnosuke Seki at the University of Electro-Communications (Tokyo, Japan). The report is available here. The published paper is available here https://doi.org/10.48550/arXiv.2606.24675
• I have done a 10 weeks internship with Radu Iosif on an implementation of Courcelle's theorem. The report (FR only) is available here.
• I have done a 3 weeks internship with Jean Christophe Filliatre by my own request on SMT solver and lambda calculus. No report available.

Papers

I have one paper published at MFCS 2026 and one manuscript in preparation. If you want to collaborate, feel free to reach me at research@bourotte.com.

• A Congestion Parameter for Depth-First Graph Traversals - Published at MFCS 2026
  Codaline Bourotte, Gwendal Ducloz, Pekka Orponen, Shinnosuke Seki
  [Conference Version] - [ArXiv] - [Video] - [Slides]
• On reduction graphs of I-terms, Dyck Words and Ordered Trees - (To be published)
  Codaline Bourotte, Giulio Manzonetto, Noam Zeilberger, Péa Bazin

Conferences

I have also attended the following conferences.

• MFCS 2026 I presented the paper "A Congestion Parameter for Depth-First Graph Traversals"
• QTcat The conference for Queer and Trans People in Category Theory
• 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)