ÂÜÀòÂÒÂ×

Lelio Brun is a Postdoctoral Research Scientist at the National Institute of Informatics since October 2022, with previous experience in similar roles at the Institut Supérieur de l'Aéronautique et de l'Espace and Inria. Lelio completed a PhD in Computer Science at École normale supérieure, focusing on developing semantic models and proof systems for a synchronous dataflow language within the Coq interactive theorem prover. Lelio's research background includes a certified code generation project for a Lustre compiler during a research internship and the development of interpreters and simulation software throughout various internships in the aerospace and software engineering sectors. Educational credentials include a Master’s degree from Université Denis Diderot and an engineering degree in Aeronautics and Mechanics from ISAE-ENSMA. Lelio's foundational education features a French Scientific Baccalauréat with highest distinction.