CV
Education
PhD of formal verification of distributed systems, from the IoT to the Cloud Computing
PhD directed by Pr. Gilles GRIMAUD and Dr. David Nowak in the 2Xs team at the University of Lille. During my PhD, I have extensively studied FreeSpec, a framework for formal verification of systems in Rocq. As of now, I am writing FreerDPS, a framework based on the ideas of FreeSpec that aims to verify distributed systems by using probabilities in the Rocq Proof assistant.
IoT & Cybersecurity Master's degree
Master's degree in Computer Science, specializing in IoT (constrained power devices) and Cybersecurity, with a strong focus on research. During my second year, I worked as a student employee at Stormshield, where I gained experience in systems programming for cybersecurity.
Licence Informatique
Bachelor's degree in Computer Science. It provided me with more theoretical knowledge.
DUT Informatique
Two-years diploma focused on Computer Science. Focused on Computer Science and provided all the base knowledge about programming. My second year was as a student employee at UBI Solutions where I gained experience in Android development.
Baccalauréat Scientifique
I specialised on Computer Science.
Work Experience
Junior Researcher (PhD)
During my PhD, I have extensively studied FreeSpec, a framework for formal verification of systems in Rocq. As of now, I am writing FreerDPS, a framework based on the ideas of FreeSpec that aims to verify distributed systems by using probabilities in the Rocq Proof assistant.
R&D Developer Intern
During this intership I realised a hostchecking agent written in Rust. The goal of this software was to provide a way for an administrator to check the compliance of multiple machines in their IT stock, whether they use Linux, MacOS, Windows, Android or iOS. Out of this intership, I had to write a dissertation describing how I realised the whole agent. I also had the occasion to dive into the subject of jailbreaking/rooting a mobile device with state-of-the-art methods to understand how such an agent could detect whether it was rooted or not.
Tutor
I helped first-year DUT computer science students who were struggling with programming courses, whether in algorithms, object-oriented programming, low-level programming, etc.
Backend Software Engineer Intern
Development on the backend of a web application. I realised a parser using regular languages to parse databases queries logs and their results. This parser allowed me to track queries that needed to be optimized.
IoT Software Engineer Intern
Development of Android applications oriented towards retail and using IoT technologies. During this internship I had the occasion to learn modern android programming and how to make basic IoT libraries. The main technology I used was RFID.
Teaching
ASA/IoT&C: Advanced Operating Systems Architecture
Class taught to students in the "Internet of Things & Cybersecurity" master's degree. During this class, we show students how to build a working MMU (Memory Management Unit) step-by-step.
COA/CC&C: Programming in Rust
Class taught to students in the "Cloud Computing & Cybersecurity" master's degree. During this class, we present the Rust programming language and how to write programs in it. I proposed the final project the students have to realise for this class. They will have to make a simple terminal application that allows to play audio files featuring either a media assets management option, either an audio processing pipeline.
ASA/GL: Advanced Operating Systems Architecture
Class taught to students in the "Génie Logiciel" (Software Engineering) master's degree. During this class, we show students how to build a working MMU (Memory Management Unit) step-by-step.