Under the supervision of Marni Mishna and Cédric Chauve.Resulted in:- "Taming reluctant random walks in the positive quadrant" (GASCOM 2016, Elsevier 2017) with Marni Mishna and Yann Ponty.- "An enumeration of distance-hereditary and 3-leaf power graphs" (ICGT 2014) and later "An exact enumeration of distance-hereditary graphs" (ANALCO 2017) with Cédric Chauve and Eric Fusy.

Under the supervision of Brigitte Vallée and Julien Clément.

Under the supervision of Philippe Flajolet.

Under the supervision of Henri Binsztok (founder of MLstate and creator of the Opa programming language)- Reviewed the research literature on compilation and type checking in ML-like languages (Appel's book)- Learned about advanced features such as polymorphism and recursive functors (following Pottier's research)- In OCaml, implemented production-ready versions of the first two versions of the typechecker for QML ("Query ML", an DSL to query a functional database) and for what eventually became the Opa language- Worked in a small startup with four other engineers, committed and reviewed code regularly

- Ran two online sections of an introductory programming course (~60 students)- Answered course material questions on the online forum- Provided one-on-one video-conference sessions to tutor remedial students- Graded students weekly programming assignments and exercises, as well as exams