Aymeric Walch I am a PhD student at IRIF under the supervision of Thomas Ehrhard. I am working in office 3026, together with Esaie Bauer, Adrienne Lancelot and Mariana Milicich. They are all wonderful roomates. I am especially interested in coffee and video games. Email : walch [at] irif [dot] fr Research I am working on Coherent Differentiation, a deterministic generalization of Differential Linear Logic (DiLL) and of Differential Lambda Calculus to a whole new range of models of LL (coherence spaces, probabilistic coherence spaces, finiteness spaces). I am particularly interested in revisiting Taylor expansion in that new setting, both semantically and syntactically. In particular, I believe that there is a strong connection between the semantical notion of summability that is central to coherent differentiation, and the syntactical notion of uniformity that appears when normalizing Taylor expansion. This connection is explored in my talk A new categorical axiomatization of Taylor expansion, you can find the slides here. Papers Thomas Ehrhard, Aymeric Walch,Cartesian Coherent Differential Categories in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston, MA, USA, 2023 pp. 1-13. doi: 10.1109/LICS56636.2023.10175717 Thomas Ehrhard, Aymeric Walch. Coherent Taylor expansion as a bimonad. 2023. Preprint My M2 research internship report. It contains a sketch of the proof that coherent differentiation is a generalization of differential categories, as well as some ideas that were further developped in my two papers Talks Cartesian Coherent Differential Categories LICS 2023 talk, June 29th 2023, Slides Chocola seminar, June 15th 2023, Slides ANR PPS meeting, January 4th 2023, Slides A new categorical axiomatization of Taylor expansion Séminaire Logiques et Interractions in Marseille, February 8th 2024, Slides DiLL workshop at Wytham Abbey, November 13th 2023, Slides Posters I made two posters: One on Cartesian Coherent Differential Categories, for the HCERES evaluation of IRIF One on Coherent Taylor expansion at CIRM for the conference Differential λ-Calculus and Differential Linear Logic, 20 Years Later Teaching 2023/2024 : Université Paris Cité Éléments d'Algorithmique (EA4), L2 semestre 2 Langage C, L2 semestre 2 2022/2023 : Université Paris Cité Initiation à la Programmation Java (IP1), L1 semestre 1 Concepts Informatiques (CI2), L1 semestre 2 Miscellaneous: I participate every year to “La fête de la science”. I supervise activities around computer science for primary school students. I also like to talk about PhD to our middle school and high school interns.