Pierre Geneves

Données clés
Naissance	Cahors (France)
Nationalité	française
Domaines	Informatique
Institutions	Inria, EPFL, CNRS
Diplôme	Institut polytechnique de Grenoble
Renommé pour	Travaux en logique de structures arborescentes et modélisation de requêtes
Distinctions	Prix de thèse EADS ; Médaille de bronze du CNRS
Site	pierre.geneves.net

Pierre Genevès est un informaticien français. Il est chercheur au CNRS et lauréat de la médaille de bronze du CNRS en 2013.

Biographie

Pierre Genevès développe en 2001 un logiciel de graphisme, qui sera notamment commercialisé sous le nom de AceDesign Pro par l'éditeur de logiciel canadien Visicom Media (en).

Il étudie la manipulation de données structurées à IBM Research à New York en 2003 et 2004^[1], et effectue ses études supérieures à Grenoble où il soutient une thèse de doctorat de l'INPG en 2006. Sa thèse, qui concerne la logique mathématique pour le raisonnement sur les structures arborescentes, reçoit le prix de la meilleure thèse EADS en 2007^[2], et celui de l'INPG en 2008^[3].

Après un post-doctorat à l'École polytechnique fédérale de Lausanne, il rejoint le CNRS en 2007, où il contribue aux logiques computationnelles, qu'il utilise pour modéliser les langages de requêtes, et permettre le raisonnement automatisé sur les programmes manipulant des données structurées. Ses résultats permettent par exemple de décider efficacement l'inclusion et l'équivalence de requêtes sur les données comme les arbres et les graphes. Une des applications ouvre la voie à l'analyse statique des feuilles de style CSS^[4] pour les pages web. Plus généralement, ses recherches concernent les domaines des langages de programmation, des bases de données et de l'intelligence artificielle.

Distinctions

Prix EADS en 2007^[5]
Médaille de bronze du CNRS en 2013^[6].

Bibliographie

(en) On the Analysis of Cascading Style Sheets, Pierre Genevès, Nabil Layaida, and Vincent Quint, Proceedings of the 21st International Conference on World Wide Web (WWW), p. 809–818, 2012.
(en) Pierre Genevès, Logics for XML: Reasoning with Trees, 2009 (ISBN 978-3639193718)
(en) Efficient Static Analysis of XML Paths and Types, Pierre Genevès, Nabil Layaida, and Alan Schmitt, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), p. 342–351, June 2007.
« L'humanité rassemble sa connaissance grâce au web : son futur en dépend »^{(Archive.org • Wikiwix • Archive.is • Google • Que faire ?)}, portrait au Panthéon, 2010

Références

↑ (en) « Optimization of XPath expressions for evaluation upon streaming XML data », sur google.com, 17 novembre 2005 (consulté le 12 avril 2023).
↑ Fondation d'entreprise EADS
↑ Prix de thèse INPG
↑ http://dl.acm.org/citation.cfm?id=2187946
↑ Prix de la meilleure thèse EADS
↑ Médaille de bronze du CNRS

Liens externes

(en) Site officiel
Ressources relatives à la recherche :
- (en) Digital Bibliography & Library Project
- (en) Mathematics Genealogy Project
- (en) ORCID
Notices d'autorité :
- VIAF
- ISNI
- IdRef

[1] (en) « Optimization of XPath expressions for evaluation upon streaming XML data », sur google.com, 17 novembre 2005 (consulté le 12 avril 2023).

[2] Fondation d'entreprise EADS

[3] Prix de thèse INPG

[4] ttp://dl.acm.org/citation.cfm?id=2187946

[5] Prix de la meilleure thèse EADS

[6] Médaille de bronze du CNRS

[1]

[2]

[3]

[4]

[5]

[6]