Lelio Brun Email
Software Engineer @ Braid
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
Lelio Brun Location
- Tokyo, JP
Lelio Brun Work
- Software Engineer @ (September 2025 - Present)
- Postdoctoral Research Scientist @ (October 2022 - September 2025)
- Postdoctoral Research Scientist @ (January 2021 - August 2022)
- Postdoctoral research engineer @ (January 2020 - December 2020)
- PhD @ (October 2016 - July 2020)
- Research Internship - Certified code generation for Lustre @ (April 2016 - August 2016)
- Research work - Interpreter for a differential functional programming language @ (January 2015 - June 2015)
- Software engineer @ (May 2014 - September 2014)
- Internship as a Junior Engineer - Simulation softwares for helicopter piloting system tests @ (May 2013 - December 2013)
- Internship as a Junior Engineer - Flight simulator for military trainer aircraft @ (June 2012 - August 2012)
- Internship - Heat Treatments @ (July 2011 - July 2011)
Lelio Brun Education
- Ecole normale supérieure
Doctor of Philosophy - PhD (Computer Science)
2016-2020 - Université Denis Diderot (Paris VII)
Master Parisien de Recherche en Informatique (Computer Science)
2014-2016 - Université du Québec - Ecole de Technologie supérieure
Aerospace Engineering
2012-2013 - ISAE-ENSMA (École Nationale Supérieure de Mécanique et d'Aérotechnique)
Engineering degree (Aeronautics & mechanics)
2010-2013 - Two years of intensive preparation for the competitive examination of French graduate schools in engineering, Jean-Baptiste Corot Highschool
Maths and Physics
2008-2010 - Jean Baptiste Corot Highschool (Savigny sur Orge)
French Scientific Baccalauréat (with highest distinction, Major in Maths)
2005-2008
Lelio Brun Skills
- ADA
- Aeronautics
- Algorithms
- Algèbre linéaire
- Anglais
- Avionics
- Borland C++ Builder
- C
- C (Programming Language)
- C++
- CI
- COQ
- CSS3
- Computer Science
- Conception assistée par ordinateur (CAO)
- Embedded Systems
- Formal Methods
- Formal Verification
- Fortran
- Git
- HTML 5
- Java
- LaTeX
- Linux
- Lustre
- Mathematics
- Mathématiques
- OCaml
- Object Oriented Software
- Programming
- Python
- Qt
- Rust (Programming Language)
- Simulations
- Software Development
- Synchronous Languages
- Tamarin
- Testing
- UML
Lelio Brun Summary
- Lelio Brun, based in Tokyo, JP, is currently a Software Engineer at Braid. Lelio Brun brings experience from previous roles at National Institute of Informatics, Institut Supérieur de l'Aéronautique et de l'Espace, Inria and École normale supérieure. Lelio Brun holds a 2016 - 2020 Doctor of Philosophy - PhD in Computer Science @ Ecole normale supérieure. With a robust skill set that includes ADA, Aeronautics, Algorithms, Algèbre linéaire, Anglais and more. Lelio Brun has 1 emails on RocketReach.
Looking for a different Lelio Brun?
Find contact details for 700 million professionals.
Top Braid Employees
Hexi Shen
Head of Business Development
Minato City, Tokyo, JP
Ivo Timóteo
Founder and CEO
Tokyo, JP
Berend Baas
Geometry Intern
Nice, FR
Toby Wilkinson
Geometry Researcher
United Kingdom
Utsav Bhardwaj
Researcher
Tokyo, JP
Elizabeth Oda
Technical Project Manager
Tokyo, JP
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co