I do not work at the INRIA anymore. You will find information about what I am up to on my personal homepage.