Pierre GenevèsChercheur en informatique
Médaille de bronze du CNRS
Les recherches de Pierre Genevès sur les logiques et langages d'arbres finis sont reconnues depuis sa thèse, pour laquelle il a obtenu le prix EADS en 2007. Elles lui ont déjà permis de résoudre des problèmes anciens et difficiles. Le chercheur a une forte appétence pour la valorisation et le transfert de ses résultats scientifiques. Il a notamment élaboré un analyseur statique efficace adapté aux langages de requêtes pour données semi-structurées, levant ainsi un verrou technologique.