POPL 2026 (series) / VMCAI 2026 (series) / 27th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026) /
TBD
TBD
Professor at ENS Paris-Saclay, University Paris-Saclay and member of LMF. PhD from University of Grenoble under the supervision of Hubert Garavel at Verimag and INRIA. Previously member of IRIF and University of Paris-Cité.