){kind=avatar}
Biography
I am a postdoctoral research scientist in the ZT-IoT project at National Institute of Informatics in Tokyo.
I defended my thesis in 2020, 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 applying formal methods to ensure security of Internet of Things (IoT) systems.
Interests
- Functional programming
- Synchronous languages
- Proof assistants
- Security protocols analysis
Education
PhD in Computer Science, 2020
École normale supérieure - PSL Research University
MSc in Computer Science (MPRI), 2016
Université Paris Cité
MSc in Aerospace Engineering, 2013
ISAE-ENSMA
Experience
Postdoctoral research scientist
Formal security analysis for IoT systems using the Tamarin Prover.
Postdoctoral research scientist
Adding translation validation features to the LustreC Lustre to C compiler through the Frama-C platform.
Postdoctoral research engineer
Adding enumerations and case analysis support to the Vélus Lustre to Assembly compiler verified with the Coq Proof Assistant.
Software engineer
Bug tracking and corrections in a large C++ codebase.
Teaching
Teaching assistant
2021/22
- Computer science, ISAE-SUPAERO, 1st year graduate
- Languages translation, ENSEEIHT, 1st year graduate
- Functional programming, ENSEEIHT, 1st year graduate
2020/21–21/22
- Transition systems - TLA+, ENSEEIHT, 1st year graduate
2020/21
- Automata and lexical analysis, Université Paris Cité, 2nd year undergraduate
- Databases, Université Paris Cité, 3rd year undergraduate and 1st graduate
- Computer science concepts 2, Université Paris Cité, 1st year undergraduate
- Programming basics 2, Université Paris Cité, 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
-
National Institute of Informatics
2 Chome-1-2 Hitotsubashi<br>101-8430 Chiyoda City