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

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.

• 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

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

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

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.