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é de Paris

  • MSc in Aerospace Engineering, 2013

    ISAE-ENSMA

Publications

POPL’20
PDF Project Slides Video DOI
SCOPES’18
PDF Project Slides DOI
PLDI’17
PDF Project Slides Video DOI

Talks

Jan 24, 2020 JW Marriott New Orleans
POPL’20
Project Slides Video
Nov 28, 2019 CAES CNRS - Centre Paul-Langevin
SYNCHRON’19
Project Slides
Nov 29, 2018 CAES CNRS - Villa Clythia
SYNCHRON’18
Project Slides
May 30, 2018 Schloss Rheinfels Hotel
SCOPES’18
Project Slides
Nov 29, 2017 Centre Inria Rennes - Bretagne Atlantique
SYNCHRON’17
Project Slides
See all talks

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
  • 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