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,
concurrency, formal proofs) and/or language-based security. Please consult
my
resume.
Je suis moniteur à Paris VII (ex-Jussieu).
Voir pour plus
d'information.