Menu Close
The Conversation

David Monniaux

2

Articles

2

Comments
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

  • –present
    chercheur en informatique, Centre national de la recherche scientifique (CNRS)

Education

  • 2009 
    Université Grenoble Alpes, habilitation à diriger les recherches en informatique

Honours

Lauréat d'un ERC consolidator grant (2013)