Menu

Lélio BRUN

PARIS

Electionseuropéennes 2024

RETROUVEZ GRATUITEMENTLe résultat des européennes à Paris.

En résumé

Après avoir obtenu mon diplôme d'ingénieur de l'ENSMA et avoir travaillé quelques temps en tant que tel, je me suis orienté vers l'informatique théorique fondamentale avec le MPRI.
J'ai commencé ma thèse de doctorat à l'ENS en octobre 2016.

Mes compétences :
Systèmes embarqués
Avionics
Programmation orientée objet
C++
Simulateur de vol
Aéronautique
Temps réel
Matlab/Simulink
JAVA
Synchronous Languages
Coq
OCaml

Entreprises

  • Ecole Normale Supérieure - Doctorant

    2016 - maintenant L'objectif de cette thèse de doctorat est de mettre en oeuvre des modèles sémantiques et des systèmes de preuves au sein d'un prouveur interactif (Coq) pour la spécification d'un langage synchrone à flots de données réaliste et sa compilation vers une plateforme embarquée via le compilateur certifié Compcert.
    Les solutions théoriques proposées (constructions de langage, modèles sémantiques, techniques de preuve et algorithmes de compilation) seront intégrées au sein d'un compilateur certifié et validées sur des exemples pratiques.
    Le but est que ces solutions soient suffisamment générales pour servir de base aux évolutions futures des compilateurs industriels de langages à schémas-blocs (tels que la suite SCADE ou la génération de code à partir de modèles Mathworks Simulink discrets).

  • Ecole Normale Supérieure - Stage de recherche - Génération de code certifiée pour Lustre

    2016 - 2016 Stage de recherche de 5 mois.
    Développement et certification des algorithmes de compilation d'une passe d'un compilateur pour Lustre en Coq.

  • Astek - Ingénieur d'études développement logiciel

    Boulogne-Billancourt 2014 - 2014 Mission chez MBDA (Plessis-Robinson).
    Correction de faits techniques sur le logiciel d'une plate-forme modulaire de tir (C++).

  • Sagem - Stage de fin d'études

    PARIS 2013 - 2013

  • Thales - Stage ingénieur - Simulateur pour avion d'entrainement militaire

    Courbevoie 2012 - 2012 Stage ingénieur de 3 mois, domaine informatique et avionique.
    Développement d'un logiciel permettant de coupler un simulateur de vol commercial à un banc d'essai Alpha Jet.

    Le Haillan (France)

  • Snecma - Stage ouvrier - Traitements thermiques

    Courcouronnes 2011 - 2011 Stage ouvrier d'un mois au sein d'une équipe de production: découverte du monde ouvrier et du fonctionnement d'une grande entreprise.
    Affectation aux équipes de compagnons du service "Traitements Thermiques" du site d'Évry-Corbeil.

    Évry-Corbeil (France)

Formations

  • Université Paris 7 Denis Diderot MPRI

    Paris 2014 - 2016 MPRI (Master Parisien de Recherche en Informatique)

    Le MPRI est un master recherche en Informatique fondamentale.
    https://wikimpri.dptinfo.ens-cachan.fr

  • ETS - Ecole De Technologie Supérieure (Montréal)

    Montréal 2012 - 2013 Génie Aérospatial - 2 sessions (8 mois) en échange international.
    Cours spécialisés en avionique et commande.

  • ISAE-ENSMA (Ecole Nationale Supérieure De Mécanique Et D'Aérotechnique)

    Poitiers 2010 - 2013 Diplôme d'ingénieur

    Aéronautique et mécanique - Formation d'ingénieur dans le domaine aéronautique : thermique, énergétique, aérodynamique, structures, matériaux, informatique, avionique.

  • CPGE, Lycée JB COROT (Savigny Sur Orge)

    Savigny Sur Orge 2008 - 2010 Maths-Physique (MP)

  • Lycée JB Corot

    Savigny Sur Orge 2005 - 2008 BAC S

    Spécialité Maths - Mention Très Bien

Réseau

Annuaire des membres :