I used to work as a PhD Student in the Mimosa team, on the ULM project between 2004 and 2007.

I worked on two main softwares: ULM (the main subject of my thesis: a language with strong mobility), and LURC (a reactive cooperative user-level thread library in C).