Since September 2023 I have been preparing a PhD thesis in the SyCoMoRES team of the CRIStAL laboratory under the supervision of Patrick Baillot (CNRS) with Marco Gaboardi (Boston University) as coâadvisor. My work focuses on linear type systems with (dependent) graded coeffects to guarantee relational properties of functional programs. I also teach logic and computer science at the undergraduate and masterâs levels. Prior to this I earned a MSc in Mathematical Logic from UniversitĂ© ParisâCitĂ© and a BSc in Pure Mathematics from UniversitĂ© ParisâSaclay.
More broadly, I am interested in logic, through the triality between proof theory, category theory, and type theory, as well as in its history and philosophical foundations.
See my resume for more details
on my background and my research and teaching activities.
You can contact me at victor.sannier@univ-lille.fr,
view my software projects
on my GitHub account
and my CTAN page
and view some notes of mine
on my nLab page.
Publications
- Victor Sannier & Patrick Baillot. Dependent Coeffects for Local Sensitivity Analysis (POPLÂ 2026). [record] [paper]
- Victor Sannier, Patrick Baillot & Marco Gaboardi. Session Types for the Concurrent Composition of Interactive Differential Privacy (CSFÂ 2025). [record] [paper] [slides]
- Victor Sannier & Patrick Baillot. A Linear Type System for -Metric Sensitivity Analysis (FSCDÂ 2024). ★ Best Paper Award by a Junior Researcher [record] [paper] [slides]
See also my ORCiD page, my dpbl page, and my Google Scholar page.