About me

I am currently in a postdoc at ISAE-Supaero, with Christine Tasson and Xavier Thirioux.

I was a PhD student at IRIF under the supervision of Thomas Ehrhard.

Research

My research is about categorical semantics of programming languages. More specifically, I worked on the following subjects.

• Quantitative semantics of Linear Logic and Taylor expansion

• Categorical differentiation

You can read more about these on my research statement. I am also very interested in the following subjects, even though I do not have published works on those yet.

• Denotational semantics of domain specific languages, such as probabilistic programming, automated differentiation, and synchronous programming.

• Call by push value and its relation with Linear Logic.

Contact

Email : aymeric.walch [at] isae-supaero [dot] fr

I am very open to questions, so feel free to reach out to me.