I am a PhD student at IRIF under the supervision of Thomas Ehrhard.
I am working in office 3026, together with Esaie Bauer, Farzad Jafarrahmani, 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.
Cartesian Coherent Differential Categories
A new categorical axiomatization of Taylor expansion
2023/2024 : Université Paris Cité
2022/2023 : Université Paris Cité
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.