I am research scientist at CNRS, leader of the research activities on data-centric programming in the Tyrex team at LIG and Inria, and co-responsible for the PhD program in Computer Science at the University Grenoble-Alpes (ED MSTII). I received a Ph.D in Computer Science in 2006 and an HDR in 2014.
Before that, I was a researcher at Ecole Polytechnique Fédérale de Lausanne (post-doc in 2007 and invited researcher in 2012), research officer at IBM Watson (2004-2005), founder and CEO of a small software company in the field of image editing (1997-2001), and science and technology advisor for a few other startups (2001-2010). I received several scientific prizes including a CNRS Bronze Medal.
I am interested in data-centric programming, which includes aspects studied in e.g. programming language techniques, structured data management, distributed computations, artificial intelligence, automated reasoning, web data structures... The Tyrex group performs research at the intersection of these areas.
- With the CLEAR project, we investigate how to generate optimized big data code, to allow e.g. for efficient querying of large structured datasets.
- With the Tree Reasoning Solver project, we investigate, in particular with new developments in tree logics, how programs processing semi-structured information can be statically analyzed.
See publications for some results and pointers to related software.