Who am I?

My photograph

I am a second year PhD student in the Gallium team, at INRIA Paris-Rocquencourt. My advisor is Didier Rémy. I am working on module systems, type abstraction and generativity.

News

  • August 2009: Some results on the combination of relations (confluence, well-foundedness), formalized in Coq (version 8.2-1). Main lemmas are Hindley-Rosen's, Akama's and Di Cosmo-Piperno-Geser's condition. [Sources | Html]