- Chercheur en informatique, Centre national de la recherche scientifique (CNRS), Université Grenoble Alpes (UGA)
Utilisation de méthodes mathématiques pour prouver des propriétés de sûreté et sécurité de logiciels.
Algorithmique générale, logique, langages de programmation, procédures de décision, compilation, sûreté et sécurité de fonctionnement.
Experience
-
–presentchercheur en informatique, Centre national de la recherche scientifique (CNRS)
Education
-
2009Université Grenoble Alpes, habilitation à diriger les recherches en informatique
Honours
Lauréat d'un ERC consolidator grant (2013)
Contact David for
- General
- Media request
- Speaking request
- Consulting / Advising
- Research collaboration
- Research supervision
- Location: Grenoble, France
- Website
- BlueSky: @MonniauxD.bsky.social
- Article Feed
- ORCID
- Joined
