====== Aymeric Walch ======

I am a PhD student at IRIF under the supervision of [[https://www.irif.fr/~ehrhard/|Thomas Ehrhard]]. 

I am working in **office 3026**, together with [[https://www.irif.fr/users/ebauer/index|Esaie Bauer]], [[https://www.irif.fr/users/lancelot/index|Adrienne Lancelot]] and [[https://www.irif.fr/users/milicich/index|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 {{ :users:walch:taylor.pdf |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. [[https://hal.science/hal-04225534/document|Preprint]]
  * My M2 research {{ :users:walch:internshipreport.pdf |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, {{ :users:walch:lics23.pdf |Slides}}
  * Chocola seminar, June 15th 2023, {{ :users:walch:chocola.pdf |Slides}}
  * ANR PPS meeting, January 4th 2023, {{ :users:walch:cohdiff.pdf |Slides}}

** A new categorical axiomatization of Taylor expansion**
  * Séminaire Logiques et Interractions in Marseille, February 8th 2024, {{ :users:walch:taylor.pdf |Slides}} 
  * DiLL workshop at Wytham Abbey, November 13th 2023, {{ :users:walch:dillworkshop.pdf |Slides}}


=== Posters ===

I made two posters:
  * One on {{ :users:walch:hceres.pdf |Cartesian Coherent Differential Categories}}, for the HCERES evaluation of IRIF
  * One on {{ :users:walch:cirm.pdf |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.