I am a maître de conférence in Computer Science at Paris 7 University (Denis Diderot). I am interested in typing, module systems, software verification and compilation. Here are my thesis, publications and talks and my resume. I am also a member of the πr² INRIA team