Research Activities

I am a researcher at CNRS, member of the WAM 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.

Research

I am interested in both theoretical and applied aspects of computer science that can lead to fundamental improvements in computing.

My research interests span over foundations for safe programming, formal methods, application of logic to computer science, classical and modal logic, static analysis of programming languages, web, structured documents, and especially foundations of XML processing.

My recent research aims at making XML processing safer and more efficient. It addresses some theoretical and applied problems introduced or revived by the latest developments of the XML technologies. More specifically, it currently addresses the design and implementation of rich type systems such as logics to model XPath queries.

You may consult some publications that partly describe my research works. Ask me for updates on my current work if you are interested.

I am a usual referee for TOIT, TODS, TOIS, IPL, LATA, PLAN-X, ICFP, DBPL, etc.

Top Places

Here are links to some other great organizations for which I have worked so far: 

(CNRS / LIG | INRIA ) / WAM project