I am a postdoc in the Department of Computer Science at New York University. I am a member of the Analysis of Computer Systems Group and work with Patrick Cousot and others on the CMACS project.

I got my PhD in Mathematics and Computer Science from Université Joseph Fourier, working at Verimag under the supervision of Antoine Girard and Oded Maler.

You can download a short version of my CV in english or french.