I’m a French math/computer science student. I finished my masters program as a visitor in Ottawa under the supervision of Rick Blute and Phil Scott and I now continue with them as a PhD student.
I’m interested by the logical approach to differentiation through differential linear logic and differential categories. My work currently tries to combine ideas from these fields with the notion of graded modality to clarify the functioning of ubiquitous functors in mathematics such as symmetric, exterior, divided powers or homology functors.
More broadly, I’m driven by the idea of making some algebraic concepts from mathematics into category theory and proof theory and make everything live together in the neatest way, allowing a computational interpretation, a logical analysis, and a maximal generalization of these algebraic concepts while at the same time creating new insights into pure proof theory that will be usable in a more computer-science oriented perspective (eg. I first encountered graded Seely isomorphisms as properties of polynomial algebras before understanding that they are a distinctive feature of graded differential linear logic).
I like the insights given by the philosophy of Ludwig Wittgenstein and think they are a useful inspiration for research in mathematics and computer science. At least they are for me although I’m not a philosopher and so I am not able to formalize very precisely my feelings on this. But it does play a role in my thoughts, let’s say that I’m inspired by this philosophy.
I currently work on this stuff:
A next goal is:
… to come (I will add some slides/videos soon) …
Last revised on May 13, 2023 at 00:27:24. See the history of this page for a list of all contributions to it.