Avatar

Lélio Brun

PhD candidate in Computer Science

École normale supérieure

Inria

Biography

I am a PhD candidate in the Parkas team of the Computer Science department (DI) at École normale supérieure in Paris under the supervision of Marc Pouzet and Timothy Bourke.

I currently work on the verified compilation of Lustre, a synchronous language, through the proof assistant Coq.

Interests

  • Functional programming
  • Synchronous languages
  • Proof assistants

Education

  • MSc in Computer Science (MPRI), 2016

    Université Paris Diderot - Paris 7

  • MSc in Aerospace Engineering, 2013

    ISAE-ENSMA

Projects

Vélus

A prototype compiler for Lustre, verified in Coq.

Obelisk

A tool to pretty-print (e.g., $\LaTeX$) Menhir grammars.

Teaching

I have been a teaching assistant for the following courses:

Academic service

Contact

  • lelio.brun@inria.fr
  • École normale supérieure, DI, PARKAS
    45 rue d'Ulm
    75230 cedex 05 Paris, France
  • Walk around the right side of the main building, take the sliding door that gives access to the DI, take the staircase at right down one level and then turn left and then right.
  • Chat on Keybase