I am currently doing a PhD in the
Moscova team at
INRIA Rocquencourt and the new
INRIA-MSR joint centre.
I am supervised by
James
J. Leifer and
Jean-Jacques
Lévy.
See for more details.
Curriculum Vitae:
A copy of my curriculum can be downloaded by
clicking here [
pdf].
Potential Employers:
I am currently looking for a postdoc starting in Fall 2009 in the field of
programming languages (compilers, type systems, formal proofs) and/or
language-based security. Please consult my
resume.
Je suis moniteur à Paris VII (ex-Jussieu).
Voir pour plus
d'information.