){kind=avatar}
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. The thesis was awarded an accessit prize from the GDR GPL French research group.
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
Experience
Postdoctoral research scientist
Postdoctoral research engineer
Software engineer
Teaching
Teaching assistant
2020/21
- Transition systems - TLA+, ENSEEIHT, 1st year graduate
- Automata and lexical analysis, Université de Paris, 2nd year undergraduate
- Databases, Université de Paris, 3rd year undergraduate and 1st graduate
- Computer science concepts 2, Université de Paris, 1st year undergraduate
- Programming basics 2, Université de Paris, 1st year undergraduate
2017/18
- Computability, decidability, Sorbonne Université, 2nd year undergraduate
2016/17–18/19
- Programming languages and compilation, École normale supérieure, 3rd year undergraduate
Contact
- lb@leliobrun.net
-
ISAE-SUPAERO, DISC, IpSC
10 avenue Edouard Belin
31055 cedex 4 Toulouse