Research
I am a researcher at CNRS, member of the Tyrex research project at LIG and INRIA in France. Previously, I was a postdoctoral fellow at the Swiss Federal Institute of Technology (EPFL), and a research intern at IBM Watson. I received a Ph.D in Computer Science in 2006.
I am interested in both theoretical aspects and applied techniques that can lead to fundamental improvements in computing. I conduct research in the areas of big data and documents, algorithms, programming languages, formal methods, reasoning techniques, web technologies, and software tools. I use formal methods such as logics to develop algorithms and software tools for the construction of reliable systems, in particular in the setting of the web.
I am a usual referee for TCS, TOIT, TODS, TOIS, IPL, DKE, LATA, PLAN-X, DBPL, ICFP, ICALP, etc.
Nice Places
Here are links to some great organizations for which I have worked so far: