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

Publications

SCOPES'18
Preprint PDF Project
PLDI'17
Preprint PDF Project

Talks

Nov 28, 2019 CAES CNRS - Centre Paul-Langevin
SYNCHRON'19
PDF Project
Nov 29, 2018 CAES CNRS - Villa Clythia
SYNCHRON'18
PDF Project
May 30, 2018 Schloss Rheinfels Hotel
SCOPES'18
PDF Project
Nov 29, 2017 Centre Inria Rennes - Bretagne Atlantique
SYNCHRON'17
PDF Project
Dec 7, 2016 Dominikanerkloster Bamberg
SYNCHRON'16
PDF Project

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