Dorian Lesbre

EN
CV (fr)
PDF — 271.1 Kio
CV (en)
PDF — 245.5 Kio

Stages et expérience professionnelle

Stage de recherche : vérification de programmes concurrents à l'aide d'IRIS
Équipe logique et sémantique, Département d'informatique, Université d'Aarhus, Danemark
Octobre 2022 — Mars 2023
Encadré par Lars Birkedal.
J'ai défini et étudier une notion de raffinement contextuel de programmes pour une machine à capabilités simple (Cerise). Le tout à été formalisé en Coq, en utilisant IRIS.
Rapport (en)
PDF — 408.2 Kio
Diapositives (en)
PDF — 294.3 Kio
Preuves Coq
Github logsem/cerise
Stage de recherche : vérification de non-interférences des tâches dans un noyau d'OS
Équipe BINSEC, CEA List, Paris-Saclay, France
Mars — Août 2022
Encadré par Matthieu Lemerre.
Par interprétation abstraite sur des noyaux de systèmes d'exploitations, je cherche à montrer des propriétés de non-interference entre les tâches. Notamment que les données sont préservée et bien restituées lors d'interruptions systèmes.
Stage de recherche : conception d'un processeur sécurisé pour l'IoT
Octopi projet, Chalmers, Suède
Février — Août 2021
Encadré par Carl Seger.
Avec l'équipe Céphalopode, conception d'un processeur pour internet des objets visant à permettre l'exécution efficace de languages fonctionnels (avec garbage collection automatisé) et supportant l'arithmétique sur des entiers de taille arbitraire en hardware.
Diapositives (en)
PDF — 495.0 Kio
Stage de recherche : conception et implémentation d'un bootloader sécurisé
Prove & Run, Paris
Mars — Juillet 2020
Encadré par Patrice Hameau.
Conception et implementation d'un bootloader sécurisé (vérifiant l'intégrité de l'OS avant de la lancer et capable de le mettre à jour à partir de fournisseur authentifiés)
Rapport
PDF — 611.7 Kio
Diapositives
PDF — 447.5 Kio
Stage de recherche : algorithmes de résolution efficace de systèmes linéaires
Équipe ECO, LIRMM, Montpellier
Juin — Août 2019
Encadré par Pascal Giorgi et Romain Lebreton.
Étude de la résolution de système d'équations linéaires à coefficients entiers ou polynomiaux, notamment d'algorithmes de résolution modulaire qui permettent de gagner en complexité lors de la résolution.
Rapport
PDF — 423.1 Kio
Diapositives
PDF — 370.6 Kio

Enseignement

Chargé de TP de cours de système d'exploitation en 2ème année (niveau M1)
ENSTA, Paris
Octobre — Décembre 2023
Interrogateur oral en mathématiques au niveau prépa MPSI
Lycée Ste Geneviève, Versailles
Septembre 2018 — Juin 2019

Parcours scolaire

Doctorat en Informatique
Équipe BINSEC, CEA List, Paris-Saclay
2023 —
École normale supérieure Paris - Licence et master d'informatique
École normale supérieure, Paris
2018 — 2023
2022-2023
4ème année - stages
2021-2022
Deuxième année de master MPRI
2020-2021
Césure - Licence de mathématiques
2019-2020
Première année de master d'informatique
2018-2019
Licence d'informatique avec mention très bien
Classe préparatoire MPSI - MPI
Lycée Ste Geneviève, Versailles
2016 — 2018
Réussi le concours d'entrée de l'ENS Ulm et de l'école polytechnique (voir certificat)
Lycée général scientifique spé maths
Lycée le Caousou, Toulouse
2014 — 2016
Collège lycée option internationale américaine (OIB)
Lycée Saint Vincent, Rennes
2009 — 2014

Langues

FR
Français
C2
UK
Anglais
C2
DE
Allemand
A2 - B1

Compétences informatiques

Github ENS MPI Frama-C
Avancées
Python, OCaml, C, C++, GNU Make, Linux, Django, Coq, Voss II.
Bonnes
LaTeX, beamer, HTML, CSS, LibreOffice, Windows, Git, Bash, SQL, GIMP, Inkscape, Verilog, Docker, CMake.
Basiques
Rust, Javascript, assembleur x86, Blender, Adobe Premiere et After Effects.

La page logiciels présente brièvement mes différents projets informatiques. La plupart sont également accesible sur github.

Autres expériences et loisirs

Événementiel
Organisation du Gala de l'ENS pour 1000 personnes en 2019.
Organisation d'un voyage au ski d'une semaine pour 180 personnes en 2017.
Sport
Principalement des sports d'extérieur : athlétisme, randonnée, voile (permis côtier), escalade, ski.
Musique
Joue du saxophone depuis 2008, ancien membre de l'ernestophone, la fanfare de l'ENS.