Welcome.
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.