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 computer science, in both theoretical and applied considerations 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 referee for TOIS, PLAN-X 2007, TOIT, IPL, PLAN-X 2008, ICFP 2008

Top Places

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

  • EPFL, Center for Global Computing
  • IBM Research, T.J. Watson Research Center, Next Generation Web Dept
  • INRIA, Rhône-Alpes unit
  • W3C, Documents & Formats Group.
(CNRS / LIG | INRIA ) / WAM project