Guilhem Ardouin
Accueil Enseignement 🇬🇧 English
Doctorant en sûreté de l'Intelligence Artificielle
CEA List, France 🇫🇷
Google Scholar | Github
Ciao! Je suis doctorant au CEA depuis 2025. Ma thèse porte sur la vérification formelle de réseaux de neurones. En particulier, je travaille sur l'extension de l'expressivité des langages de spécification pour vérifier des propriétés plus riches et sur l'utilisation de techniques de meta-solving pour améliorer la procédure de vérification.
Contact : guilhem.ardouin [at] cea [dot] fr
🎓 Formation
- Doctorat, Informatique
2025 - ... (Université Paris-Saclay, CEA List</b>) - Master, Informatique fondamentale / Vérification logicielle
2024 - 2025 (Université de Bordeaux) - Diplôme d'ingénieur, Informatique
2022 - 2025 (ENSEIRB-MATMECA) - Classes préparatoires aux grandes écoles, MPSI/MP
2020 - 2022 (Lycée Michel de Montaigne)
📄 Publications
Principled Rewriting of ONNX Operators for Reluctant Solvers
Alban Grastien, Guilhem Ardouin, Julien Girard-Satabin, SAIV 2026
Actes
La confiance avec le contrôle : spécification et vérification d'hyperpropriétés sur réseaux de neurones
Guilhem Ardouin, Michele Alberti, Julien Girard-Satabin, JFLA 2026
PDF, Présentation