Pierre Geneves
Pierre Genevès | |
---|---|
Born | 1980 Computer Science |
Pierre Genevès is a French
CNRS Bronze medal
.
Biography
Born in
graphic software, later marketed under the name of AceDesign Pro by the Canadian software company Visicom Media
.
He worked at IBM Research in New York City in 2003 and 2004 where he studied the design of scalable architectures for querying and transforming flows of structured data.[1]
He graduated from the university of Grenoble from which he received a PhD in computer science in 2006. His thesis, concerning computational logic for reasoning on tree-shaped data, was awarded the EADS prize for the best PhD thesis in 2007,[2] and the prize for the best PhD thesis from the INPG university in 2008.[3]
After a post-doctorate at the
programming languages, software engineering and artificial intelligence
.
Awards
Bibliography
- (in English) 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.
- (in English) Genevès, Pierre (2009). Logics for XML: Reasoning with Trees. ISBN 978-3639193718.
- (in English) 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.
- Portrait at the Pantheon, Exhibition in Paris, 2010
Footnotes
- ^ "Optimization of XPath expressions for evaluation upon streaming XML data".
- ^ EADS Prize[permanent dead link]
- ^ "Prize for the best PhD thesis, INPG". Archived from the original on 2016-03-03. Retrieved 2013-05-27.
- ^ On the analysis of cascading style sheets, World Wide Web Conference, 2012
- ^ EADS Prize[permanent dead link]
- ^ CNRS Bronze medal