Lélio BRUN

Lélio BRUN

Doctorant, Ecole Normale Supérieure
 

Précédents : Université Paris 7 Denis Diderot, ETS - Ecole De Technologie Supérieure, ISAE-ENSMA (Ecole Nationale Supérieure De Mécanique Et D'Aérotechnique), CPGE, Lycée JB COROT, Lycée JB Corot

 

    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.

Parcours

 

Doctorant

Chez Ecole Normale Supérieure

De octobre 2016 à aujourd'hui
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é ...
Lire la suite
 

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

Chez Ecole Normale Supérieure

De avril 2016 à août 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.
 

Université Paris 7 Denis Diderot, Paris

MPRI (Master Parisien de Recherche en Informatique), Master Parisien de Recherche en Informatique

De septembre 2014 à août 2016
Le MPRI est un master recherche en Informatique fondamentale. https://wikimpri.dptinfo.ens-cachan.fr
 

Ingénieur d'études développement logiciel

Chez Astek

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

Stage de fin d'études

Chez Sagem

De mai 2013 à décembre 2013
 

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

Diplôme d'ingénieur, ISAE-ENSMA (Ecole Nationale Supérieure de Mécanique et d'Aérotechnique)

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

ETS - Ecole De Technologie Supérieure, Montréal

ÉTS (École de Technologie Supérieure)

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

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

Chez Thales

De juin 2012 à août 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)
 

Stage ouvrier - Traitements thermiques

Chez Snecma

juillet 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)
 

Lycée JB Corot, Savigny Sur Orge

BAC S, Lycée JB Corot

De septembre 2005 à juin 2008
Spécialité Maths - Mention Très Bien

Compétences

 
  • Aéronautique
  • Avionics
  • C++
  • Coq
  • JAVA
  • Matlab/Simulink
  • OCaml
  • Programmation orientée objet
  • Voir toutes les compétences (12)

Langues parlées

 

Centres d'intérêt

 
  • Hip-Hop
  • Infographie
  • Rugby