Guilhem Ardouin
PhD Student on Trustworthy Artificial Intelligence
CEA List, France 🇫🇷
Google Scholar | Github
Ciao! I am a PhD student at CEA since 2025. My thesis is about the formal verification of neural networks. In particular, I am working on extending the expressiveness of specification languages to verify more complex properties and on using meta-solving techniques to improve the verification process.
Contact: guilhem.ardouin [at] cea [dot] fr
Curriculum Vitae: English version 🇬🇧 | French version 🇫🇷
🎓 Education
- PhD, Computer Science
2025 - ... (Université Paris-Saclay, CEA List) - Master of Science, Fundamental Computer Science / Software Verification
2024 - 2025 (Université de Bordeaux) - Engineering degree, Computer Science
2022 - 2025 (ENSEIRB-MATMECA) - Classes préparatoires aux grandes écoles, MPSI/MP
2020 - 2022 (Lycée Michel de Montaigne)
📄 Publications
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, Talk