Lélio Brun

Lélio Brun

Postdoctoral research scientist in Computer Science

ISAE-SUPAERO

Biography

I am a postdoctoral research scientist in the IpSC team of the Department of Complex Systems Engineering at ISAE-SUPAERO in Toulouse. I recently defended my thesis, Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset, written under the supervision of Marc Pouzet and Timothy Bourke.

I currently work on translation validation techniques applied to the compilation of Lustre, a synchronous language.

Interests
  • Functional programming
  • Synchronous languages
  • Proof assistants
Education
  • PhD in Computer Science, 2020

    École normale supérieure - PSL Research University

  • MSc in Computer Science (MPRI), 2016

    Université de Paris

  • MSc in Aerospace Engineering, 2013

    ISAE-ENSMA

Projects

Vélus

A prototype compiler for Lustre, verified in Coq.

Obelisk

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

Experience

 
 
 
 
 
Postdoctoral research scientist
Jan 2021 – Present Toulouse, France
 
 
 
 
 
Postdoctoral research engineer
Jan 2020 – Dec 2020 Paris, France
 
 
 
 
 
Software engineer
May 2014 – Aug 2014 Le Plessis Robinson, France

Teaching

Teaching assistant

2020

2018

2016–18

Academic service

Contact

  • lb@leliobrun.net
  • ISAE-SUPAERO, DISC, IpSC
    10 avenue Edouard Belin
    31055 cedex 4 Toulouse