Adresse e-mail : .
Depuis octobre 2026, je suis chercheur (postdoctorant CNRS) au Laboratoire d'informatique de Paris-Nord (LIPN) où je mène des recherches sur la logique linéaire différentielle en collaboration avec Marie Kerjean.
Avant cela, j'ai préparé une thèse de doctorat sous la direction de Patrick Baillot (CNRS) et l'encadrement de Marco Gaboardi (Université de Boston) portant sur des systèmes de types linéaires avec coeffets gradués (dépendants) pour garantir des propriétés relationnelles de programmes fonctionnels.
Je m'intéresse plus généralement à la logique, à travers la trialité entre théorie de la démonstration, théorie des catégories et théorie des types, et aux champs connexes comme diverses branches des mathématiques et l'histoire et la philosophie des sciences abstraites.
Voir mon CV pour plus de détails sur mon parcours et mes activités de recherche et d'enseignement, et les liens suivants pour mes différents profils en ligne : DBLP, GitHub, Google Scholar, Lab, ORCID.
Actualités
- Octobre 2026 J'ai rejoint le Laboratoire d'informatique de Paris-Nord (LIPN) en tant que chercheur postdoctoral.
- Septembre 2026 J'ai soutenu ma thèse de doctorat De la logique linéaire aux systèmes de types pour l'analyse de sensibilité et la vérification de la confidentialité différentielle.
- Janvier 2026 J'ai présenté notre article Dependent Coeffects for Local Sensitivity Analysis (voir infra) à la conférence POPL 2026.
Publications
- Victor Sannier. De la logique linéaire aux systèmes de types pour l'analyse de sensibilité et la vérification de la confidentialité différentielle (thèse de doctorat, 2026). [diapos]
- Victor Sannier et Patrick Baillot. Dependent Coeffects for Local Sensitivity Analysis (POPL 2026). [notice] [article] [diapos] [vidéo]
- Victor Sannier, Patrick Baillot et Marco Gaboardi. Session Types for the Concurrent Composition of Interactive Differential Privacy (CSF 2025). [notice] [article] [diapos]
- Victor Sannier et Patrick Baillot. A Linear Type System for ‑Metric Sensitivity Analysis (FSCD 2024). ★ Best Paper Award by a Junior Researcher [notice] [article] [diapos]
Voir aussi ma page ORCID, ma page DBLP et ma page Google Scholar.