Internships and professional experience
Research internship designing a secure processor for IoT
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.
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.
Research internship on secure bootloaders
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.
Designed and implemented a secure bootloader, checking the kernel's integrity and signature before booting it, and supporting kernel updates from verified sources.
Research internship on efficient algorithms to solve linear modular systems
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.
Studied the resolution of linear systems with integer or polynomial coefficients, focusing on modular resolution algorithms which allow a small complexity gain in resolution.
Oral mathematics interrogator in preparatory school
Septembre 2018 — Juin 2019
Education
École normale supérieure Paris - Bachelors and masters in computer science
2018 —
- 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
2016 — 2018
Passed the ENS's and Polytechnique's entrance exams
(see certificate)
Languages
French
C2
English
C2
German
A2 - B1
- Lived in London for three years (2006 - 2009), including one in an english school.
- Obtained the Cambridge Certificate of Proficiency in English (CPE)
- Participated in two linguistic exchanges in Germany in Iéna (2011) and in Mannheim (2014).
Computer skills
- Advanced
- C, C++, Python, OCaml, GNU Make, Linux, Django, Voss II.
- Good
- CMake, LaTeX, beamer, HTML, CSS, LibreOffice, Windows, Git, Bash, SQL, GIMP, Inkscape, Verilog, Docker.
- Basic
- Rust, Javascript, x86 assembly, Blender, Adobe Premiere and After Effects.
Multiple large projects:
- Kotlin to x86 assembly compiler written in OCaml (source on github).
- Design and simulation of a simple processor in OCaml
- Minimalistic OS with basic functions (keyboard/screen/ATA hard drive drivers, scheduler) in C and assembly.
- Robot control program on arduino and RaspberryPi written in C++ for France’s Robotic Cup (source on gitlab).
- Secure bootloader and cryptographic algorithms (AES, ECC, SHA) in C.
- Website for the interludes (a student's event) with online registration written in python with django (source on gitlab).
- Design and verification of an ALU for arbitrary-precision arithmetic at the RTL level (source 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, member of the ENS' brass band : l'ernestophone.