Lélio BRUN

Lélio BRUN

Doctorant, Ecole Normale Supérieure

Paris, France

Bienvenue sur l'aperçu du profil de Lélio BRUN

Devenez membre pour voir son profil complet et vous aussi, donnez un coup de pouce à votre carrière

Son parcours

  • Aujourd'hui
    2017
    Octobre 2016
    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).
  • Aujourd'hui
    Août 2016
    Avril 2016

    Stage de recherche - Génération de code certifiée pour Lustre

    Stage de recherche de 5 mois.
    Développement et certification des algorithmes de compilation d'une passe d'un compilateur pour Lustre en Coq.
  • Master Parisien de Recherche en Informatique

    MPRI (Master Parisien de Recherche en Informatique)
    Le MPRI est un master recherche en Informatique fondamentale.
    https://wikimpri.dptinfo.ens-cachan.fr
  • Aujourd'hui
    Septembre 2014
    Mai 2014

    Ingénieur d'études développement logiciel

    1000 - 4999 employés

    Mission chez MBDA (Plessis-Robinson).
    Correction de faits techniques sur le logiciel d'une plate-forme modulaire de tir (C++).
  • Aujourd'hui
    Décembre 2013
    Mai 2013

    Stage de fin d'études

    +5000 employés

  • ISAE-ENSMA (Ecole Nationale Supérieure de Mécanique et d'Aérotechnique)

    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.
  • ÉTS (École de Technologie Supérieure)

    Génie Aérospatial - 2 sessions (8 mois) en échange international.
    Cours spécialisés en avionique et commande.
  • Aujourd'hui
    Août 2012
    Juin 2012

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

    +5000 employés

    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)
  • Aujourd'hui
    Juillet 2011
    Juillet 2011

    Stage ouvrier - Traitements thermiques

    +5000 employés

    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)
  • , Savigny Sur Orge

    CPGE, Lycée JB Corot

  • , Savigny Sur Orge

    Lycée JB Corot

    BAC S
    Spécialité Maths - Mention Très Bien

Inscrivez-vous pour consulter le profil complet de Lélio BRUN

S'INSCRIRE

Ses compétences

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

Ses langues parlées

  • Anglais
    ***Courant*
  • Espagnol
    **Intermédiaire**

    Ses centres d'intérêt

    RugbyInfographieHip-Hop

    Sa présentation

    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.

    Son activité sur Viadeo

    Ses derniers contacts
    Thomas Potin
    Thomas Fabien
    Youcef Madjidi

    Ceux qui ont consulté ce profil ont aussi vu :