Publications

Projects

  • Obelisk

    A simple experimental tool which produces pretty-printed output (eg. $\LaTeX$) from a Menhir parser file (.mly).

Teaching

I am a teaching assistant for the following courses:

Contact

  • List.map (fun x -> "lelio.brun@" ^ x ^ ".fr") ["ens"; "inria"]
  • PARKAS
    DI – École normale supérieure
    45 rue d’Ulm
    75230 Paris cedex 05, France