Victor SANNIER - Thèse en cours

Adresse Professionnelle
59650VILLENEUVE-D'ASCQ FRANCE
Identifiant ORCID 0009000518514119
Identifiant Hal https://hal.archives-ouvertes.fr/search/index/?q=%2A&authIdHal_s=victor-sannier

Projet professionnel :

Enseignement et recherche, enseignement supérieur
Recherche en milieu académique

Techniques maîtrisées :
Développement logiciel, démonstration assistée par ordinateur, édition scientifique
Compétences :
Communication orale (exposé à POPL 2026, CSF 2025, FSCD 2024 et à plusieurs séminaires) Rédaction de documents techniques (articles de recherche et rapports) Travail en équipe (réunions de recherche régulières et co-écriture d'articles)

Doctorat Informatique et applications

- Université de Lille

Ecole doctorale : MADIS Mathématiques, sciences du numérique et de leurs interactions

Sujet : Méthodes formelles pour la confidentialité différentielle

Mots-clés de la thèse : confidentialité différentielle,programmation fonctionnelle,langages de programmation,systèmes de types,

Direction de thèse : Patrick BAILLOT

Unité de recherche : CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille UMR 9189 - Villeneuve d'Ascq

Diplôme national de master - Mathématique et Applications

Obtenu en septembre 2023
Spécialité : Logique
Parcours : Logique mathématique et Fondements de l'informatique
Établissement : Université Paris Cité
Ville : Paris - Pays : FRANCE

Production scientifique

- Victor Sannier, Patrick Baillot 2026. Dependent Coeffects for Local Sensitivity Analysis , , https://hal.science/hal-05191122v1
- Victor Sannier, Patrick Baillot, Marco Gaboardi 2025. Session Types for the Concurrent Composition of Interactive Differential Privacy Types de sessions pour la composition concurrente de la confidentialité différentielle interactive CSF 2025, À paraître, https://hal.science/hal-04719333v3
- Victor Sannier, Patrick Baillot 2024. A Linear Type System for Lp-Metric Sensitivity Analysis FSCD 2024, Volume 299, pp. 12:1-12:22, https://hal.science/hal-04514677v2

Informations complémentaires :
Centres d'intérêts : langue latine, histoire des sciences, philosophie du langage, sciences politiques, etc.

Dernière mise à jour le 17 décembre 2025