CurrentlyI am a PhD student at INRIA studying distributed systems under Marc Shapiro as part of the LIP6 lab and the DELYS team. I am working on exploring and developing new methods, tools and languages to aid the programmer of general distributed programs. We want to use similar approach for both app and systems developers ; as a results deployments, consistency and fault-tolerance should be programmable as first class abstractions and not addressed by a separate system, which is the regular workaround. Finally, our approach helps avoid many of the opportunities for error, by focusing on the essential properties of application correctness, furthermore we aim to apply leverage language and verification tools, to aid the programmer in choosing the best consistency level and in synthesising a program that respects its specification. More details can be found here .
Moreover, i am writing an history of cyber defense under Louis Gautier as part of Panthéon-Sorbonne university .
PreviouslyIn 2018, i have finished the Parisian Master of Research in Computer Science (MPRI) and i graduated from ENS Paris-Saclay (previously called Ecole Normale Supérieure de Cachan) in 2019 after an extra year in History.
As an undergraduate at ENS Paris-Saclay , i worked under Professor Ulrich Schmid's supervision on modelling distributed systems with byzantine failures thanks to epistemic logic (related papers can be found here). And, i also work under Alexandru Costan's supervision on unifying stream processing across Edge and Cloud (related paper can be found here and source code here).
During my studies at ENS Paris-Saclay, i have followed the first year of the Master d'Histoire Politique des Mondes Contemporains and i have written an history of the french supply during the Italy campaign (January 1943 - July 1944) under the supervision of Olivier Wieviorka (the french master thesis can be found here ).
- Distributed systems
- Verification of distributed systems
- Epistemic logic applied to distributed systems
- War studies