Dorian Lesbre

FR
Résumé (en)
PDF — 245.5 Kio
Résumé (fr)
PDF — 271.1 Kio

Internships and professional experience

Research internship: verifying concurrent programs with IRIS
Logic and semantics team, Department of computer science, Aarhus university, Denmark
October 2022 — March 2023
Supervised by Lars Birkedal.
I defined and studied a notion of program contextual refinement for a simple capability machine (Cerise). This work was formalized in Coq using IRIS.
Report
PDF — 408.2 Kio
Slides
PDF — 294.3 Kio
Coq proofs
Github logsem/cerise
Research internship: verifying non-interference between tasks in an OS kernel
BINSEC Team, CEA List, Paris-Saclay, France
March — August 2022
Supervised by Matthieu Lemerre.
Using binary-level abstract interpretation on OS kernels, I'm trying to show non-interference properties on tasks. Namely that their data is preserved and restored through system interrupts..
Research internship: designing a secure processor for IoT
Octopi project, Chalmers, Sweden
February — August 2021
Supervised by Carl Seger.
As part of the Cephalopode team, design a processor for the internet of thing (IoT) aiming to allow efficient execution of functional langages (with garbage collection) and supporting multi-precision arithmetic in hardware.
Slides
PDF — 495.0 Kio
Research internship: design and implementation of a secure bootloaders
Prove & Run, Paris
March — July 2020
Supervised by Patrice Hameau.
Designed and implemented a secure bootloader, checking the kernel's integrity and signature before booting it, and supporting kernel updates from verified sources.
Report (fr)
PDF — 611.7 Kio
Slides (fr)
PDF — 447.5 Kio
Research internship: efficient algorithms to solve linear modular systems
Équipe ECO, LIRMM, Montpellier
June — August 2019
Supervised by Pascal Giorgi and Romain Lebreton.
Studied the resolution of linear systems with integer or polynomial coefficients, focusing on modular resolution algorithms which allow a small complexity gain in resolution.
Report (fr)
PDF — 423.1 Kio
Slides (fr)
PDF — 370.6 Kio

Teaching

Teaching assistant for the 2nd year operating systems course (M1 level)
ENSTA, Paris
October — December 2023
Oral mathematics interrogator in preparatory school
Lycée Ste Geneviève, Versailles
September 2018 — June 2019

Education

PhD in computer science
BINSEC Team, CEA List, Paris-Saclay
2023 —
École normale supérieure Paris - Bachelors and masters in computer science
École normale supérieure, Paris
2018 — 2023
2022-2023
4th year - internships
2021-2022
2nd year of master's degree MPRI
2020-2021
Off year - bachelors in mathematics
2019-2020
1rst year of masters' degree
2018-2019
Bachelors' degree in computer science with highest honors
Preparatory school MPSI - MPI
Lycée Ste Geneviève, Versailles
2016 — 2018
Passed the ENS's and Polytechnique's entrance exams (see certificate)
Scientific general french high school
Lycée le Caousou, Toulouse
2014 — 2016
High school with american international option (OIB)
Lycée Saint Vincent, Rennes
2009 — 2014

Languages

FR
French
C2
UK
English
C2
DE
German
A2 - B1

Computer skills

Github ENS MPI Frama-C
Advanced
Python, OCaml, C, C++, GNU Make, Linux, Django, Coq, Voss II.
Good
LaTeX, beamer, HTML, CSS, LibreOffice, Windows, Git, Bash, SQL, GIMP, Inkscape, Verilog, Docker, CMake.
Basic
Rust, Javascript, x86 assembly, Blender, Adobe Premiere and After Effects.

The software page briefly presents my various programming projects. Most of them are also accessible on github.

Other accomplishments and hobbies

Event oganizer
Organizer of the ENS' gala in 2019 for 1000 participants.
Chief organizer for a 180 person school ski week in 2017.
Sport
Mostly exterior sports: jogging, hiking, sailing (has the french coastal license), rock climbing, skiing.
Music
Plays saxophone since 2008, former member of the ENS' brass band : l'ernestophone.