Pierre Genevès is a French
computer scientist born in 1980. He is research scientist at
CNRS and recipient of the 2013
CNRS Bronze medal.
Biography
Born in
Cahors
Cahors (; oc, Caors ) is a commune in the western part of Southern France. It is the smallest prefecture among the 13 departments that constitute the Occitanie Region. The main city of the Lot department and the historical center of the Que ...
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
IBM Research is the research and development division for IBM, an American multinational information technology company headquartered in Armonk, New York, with operations in over 170 countries. IBM Research is the largest industrial research or ...
in
New York City
New York, often called New York City or NYC, is the most populous city in the United States. With a 2020 population of 8,804,190 distributed over , New York City is also the most densely populated major city in the Un ...
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
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
in 2006.
His thesis, concerning
computational logic
Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is s ...
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
In computer science, in particular in knowledge representation and reasoning and metalogic, the area of automated reasoning is dedicated to understanding different aspects of reasoning. The study of automated reasoning helps produce computer prog ...
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
A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language.
The description of a programming ...
,
software engineering
Software engineering is a systematic engineering approach to software development.
A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...
and
artificial intelligence
Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech r ...
.
Awards
*
EADS Prize in 2007
*
CNRS Bronze medal in 2013.
CNRS Bronze medal
/ref>
Bibliography
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.
*
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
{{DEFAULTSORT:Geneves, Pierre
1980 births
Living people
People from Cahors
French computer scientists