Wiki90

 Wiki90.com

Wiki90: 90s Style Encyclopedia on the Web

Dive into Wiki90, the online encyclopedia that captures the spirit of the '90s. With a design reminiscent of the early days of the Internet and a rich repository of knowledge, Wiki90 is your portal to nostalgia and learning. Discover and relive iconic moments from an unforgettable era online!

Pierre Geneves

In today's world, Pierre Geneves is a topic of constant interest and discussion. There is great interest in learning more about Pierre Geneves and understanding its impact in different areas of daily life. With the passage of time, Pierre Geneves has gained relevance in various spheres, generating debates, research and developments that seek to provide new perspectives on this topic. In this article, we will explore in detail the implications of Pierre Geneves and its influence in different contexts, analyzing its evolution over time and its relevance in today's society.

Pierre Genevès
Born1980
Cahors
NationalityFrench
Alma materINPG
Known forHis work in logics for structured data and the modelling of queries
AwardsEADS Prize
CNRS Bronze medal
Scientific career
FieldsComputer Science

Pierre Genevès is a French computer scientist born in 1980. He is a research scientist at CNRS and recipient of the 2013 CNRS Bronze medal.

Biography

Born in Cahors in 1980, Pierre Genevès founded in 2001 a software company developing a 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.

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, and the prize for the best PhD thesis from the INPG university in 2008.

After a post-doctorate at the Swiss Federal Institute of Technology in Lausanne (EPFL) 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. Pioneer of the static analysis of cascading style sheets for web pages, his results in logic also apply to the fields of 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

  1. ^ "Optimization of XPath expressions for evaluation upon streaming XML data".
  2. ^ EADS Prize[permanent dead link]
  3. ^ "Prize for the best PhD thesis, INPG". Archived from the original on 2016-03-03. Retrieved 2013-05-27.
  4. ^ On the analysis of cascading style sheets, World Wide Web Conference, 2012
  5. ^ EADS Prize[permanent dead link]
  6. ^ CNRS Bronze medal
Wikious
Boobota
Sagapedia