CurrentlySince September 2019, i have been a PhD student at INRIA studying distributed systems under Marc Shapiro's supervision. I am working in the LIP6 lab and the INRIA team: DELYS. We are exploring and developing a new high-level approach focusing on composition of distributed system (ranging from actor and processes to existing systems, like a DB) in order to facilitate the programmer’s job in term of re-usability, productivity and bugs mitigation since distributed systems are often built as a set of components glue together. First, a formal compositional model and specification language are needed in order to model a distributed system. Moreover, to bridge the gap between specification and implementation, we will leverage code generation from the specification to produce a code skeleton (including dynamic checks and defining interfaces). By choosing a top-down approach, we can design a polyglot specification language which is independent from the actual implementation language: only the code generation part is programming language specific. More details can be found here.
PreviouslyIn 2020, i wrote an history of cyber defense under Louis Gautier's suppervision as part of Panthéon-Sorbonne university .
In 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 foundhere 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