Depuis septembre 2023, je prépare une thèse de doctorat dans l'équipe SyCoMoRES du laboratoire CRIStAL sous la direction de Patrick Baillot (CNRS) et avec le co-encadrement de Marco Gaboardi (Université de Boston). Mes travaux portent sur des systèmes de types linéaires avec coeffets gradués (dépendants) pour garantir des propriétés relationnelles de programmes fonctionnels. J'enseigne par ailleurs la logique et l'informatique en licence et en master. Avant cela, j'ai obtenu un master de logique mathématique à l'Université Paris-Cité et une licence de mathématiques pures à l'Université Paris-Saclay.
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 à son histoire et ses fondements philosophiques.
Voir mon CV (en anglais) pour plus de détails
sur mon parcours et mes activités de recherche et d'enseignement.
Vous pouvez me contacter à l'adresse victor.sannier@univ-lille.fr,
consulter mes projets logiciels
sur mon compte GitHub
et ma page CTAN
et consulter certaines de mes notes
depuis ma page nLab.
Publications
- Victor Sannier & Patrick Baillot. Dependent Coeffects for Local Sensitivity Analysis (POPL 2026). [notice] [article]
- Victor Sannier, Patrick Baillot & Marco Gaboardi. Session Types for the Concurrent Composition of Interactive Differential Privacy (CSF 2025). [notice] [article] [diapos]
- Victor Sannier & 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 dpbl et ma page Google Scholar.