Léon Gondelman defended his PhD thesis in 2016 under supervision of Jean-Christophe Filliâtre and Andrei Paskevich at Université Paris Saclay in France.

Following the completion of his PhD, he embarked on a post-doctoral journey that took him to Nijmegen, Netherlands. During this time, he focused on the development of methods and tools for verifying life-critical and safety-critical systems. Subsequently, he pursued another post-doctoral position at Aarhus University, where his research centered on the modular verification of distributed systems.

Your research area and focus?

- My current research area is modular reasoning of distributed systems, focusing on various aspects of replication, from coordination-free systems such as causally-consistent databases and CRDTs to systems with to systems with strong consistency via multi-consensus.

Projects you are/will be involved in?

- I am currently working on a modular reasoning of various isolation levels of transaction memory, such as snapshot isolation. I am also exploring how modular style of reasoning can be applied to partition-tolerance. I hope to get involved in several projects in DEIS group and to connect modular reasoning with model-checking approach to scale verification of realistic distributed systems.