• My image


Since 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 .


In 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 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 ).

Computer Science

  • Distributed systems
  • Verification of distributed systems
  • Epistemic logic applied to distributed systems

Human Science

  • War studies
  • Cyberwarfare
  • Geopolitic

Others Interests

  • Trail
  • Climbing
  • Hike

GPG public key



+33 1 44 27 87 67
Bureau 26-00/225, Sorbonne Université - LIP6
Boîte courrier 169
4 place Jussieu
75252 PARIS CEDEX 05