After a post-doctorate at the Swiss Federal Institute of Technology in 2007, he joined CNRS where he studied and contributed to the field of modal logics, like the modal mu-calculus, that he used for modeling query languages, and allow for the automated reasoning about programs that manipulate structured data.
Pierre Boulez | Pierre Trudeau | Pierre-Auguste Renoir | Pierre Corneille | Jean-Pierre Rampal | Pierre Loti | Pierre | Pierre Teilhard de Chardin | Jean-Pierre Thiollet | Pierre Puvis de Chavannes | Pierre Cardin | Pierre Bourdieu | Pierre Amoyal | Pierre Huyghe | Pierre Bonnard | Pierre-Constant Budin | Pierre-Joseph Proudhon | Pierre Beaumarchais | Pierre Restany | Pierre Curie | Pierre Louÿs | Pierre Bayle | Marco Pierre White | Jean-Pierre Ponnelle | Jean-Pierre Jeunet | Saint-Pierre, Martinique | Saint-Pierre | Pierre Monteux | Pierre Gassendi | Pierre Clémenti |