David Monniaux

D. MonniauxDavid Monniaux est directeur de recherche au CNRS et mène des recherches au laboratoire VERIMAG sur l’analyse statique de programmes et la décision de formules logiques. Il est également professeur à l’École polytechnique (Palaiseau). Outre ses fonctions universitaires, il s’est longtemps investi dans Wikipédia et l’association Wikimédia France, et tient un blog « La vie est mal configurée » où il traite de politique universitaire, de libertés publiques, de science et de société.