Publications

Mon, 01 Jan 0001 00:00:00 +0000

Thesis

You can find the manuscript of my thesis here, and the slides of my defense here.

Papers

2026

Christine Tasson and Aymeric Walch. Absolute Convergence and Taylor Expansion in Web Based Models of Linear Logic. In 11th International Conference on Formal Structures for Computation and Deduction (FSCD 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 378, pp. 29:1-29:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/LIPIcs.FSCD.2026.29

2025

Aymeric Walch, Compositional Taylor expansion in cartesian differential categories in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Singapore, Singapore, 2025, pp. 748-760, doi: 10.1109/LICS65433.2025.00062. The preprint is available here

Teaching

Mon, 01 Jan 0001 00:00:00 +0000

2025/2026 : ISAE-Supaero

Algorithms, 1A engineer school semester 2
Software tools I, 1A engineer school semester 1
Imperative programming (C), 1A engineer school, semester 1

2023/2024 : Université Paris Cité

Éléments d’Algorithmique (EA4), L2 semester 2
Langage C, L2 semester 2

2022/2023 : Université Paris Cité

Initiation à la Programmation Java (IP1), L1 semester 1
Concepts Informatiques (CI2), L1 semester 2

Miscellaneous

When I was at IRIF, I volunteered every year to “La fête de la science”, for which I supervised activities around computer science for primary school students. I also liked to talk about PhD to our middle school and high school interns.