Pierre Geneves - Pierre Geneves

Pierre Genevès
Nascermos 1980
Cahors
Nacionalidade francês
Alma mater INPG
Conhecido por Seu trabalho em lógica para dados estruturados e modelagem de consultas
Prêmios Medalha de bronze CNRS do Prêmio EADS
Carreira científica
Campos Ciência da Computação

Pierre Genevès é um cientista da computação francês nascido em 1980. Ele é cientista pesquisador do CNRS e ganhador da medalha de Bronze do CNRS 2013 .

Biografia

Nascido em Cahors em 1980, Pierre Genevès fundou em 2001 uma empresa de software que desenvolvia um software gráfico , posteriormente comercializado sob o nome de AceDesign Pro pela empresa canadense de software Visicom Media.

Ele trabalhou na IBM Research na cidade de Nova York em 2003 e 2004, onde estudou o projeto de arquiteturas escaláveis ​​para consultar e transformar fluxos de dados estruturados.

Ele se formou na universidade de Grenoble, onde recebeu um PhD em ciência da computação em 2006. Sua tese, relativa à lógica computacional para raciocinar em dados em forma de árvore , recebeu o prêmio EADS para a melhor tese de doutorado em 2007, e o prêmio para a melhor tese de doutorado da universidade INPG em 2008.

Após um pós-doutorado no Instituto Federal Suíço de Tecnologia em Lausanne ( EPFL ) 2007, ele ingressou no CNRS onde estudou e contribuiu para o campo da lógica modal , como o modal mu-cálculo , que ele usou para modelar linguagens de consulta, e permitem o raciocínio automatizado sobre programas que manipulam dados estruturados. Pioneiro na análise estática de folhas de estilo em cascata para páginas da web, seus resultados em lógica também se aplicam aos campos das linguagens de programação , engenharia de software e inteligência artificial .

Prêmios

Bibliografia

  • (em inglês) On the Analysis of Cascading Style Sheets , Pierre Genevès, Nabil Layaida e Vincent Quint, Anais da 21ª Conferência Internacional sobre a World Wide Web (WWW), p. 809–818, 2012.
  • (em inglês) Genevès, Pierre (2009). Lógica para XML: raciocínio com árvores . ISBN   978-3639193718 .
  • (em inglês) Efficient Static Analysis of XML Paths and Types , Pierre Genevès, Nabil Layaida e Alan Schmitt, Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), p. 342–351, junho de 2007.
  • Retrato no Panteão , Exposição em Paris, 2010

Notas de rodapé

  1. ^ Visicom Media
  2. ^ http://www.google.com/patents/US20050257201
  3. ^ Prêmio EADS
  4. ^ "Prémio à melhor tese de doutoramento, INPG" . Arquivado do original em 03/03/2016 . Retirado 2013-05-27 .
  5. ^ Sobre a análise das folhas de estilo em cascata, World Wide Web Conference, 2012
  6. ^ Prêmio EADS
  7. ^ CNRS medalha de bronze