I am a Research Scientist at INRIA Lille – Nord Europe. I hold an MSc in Mathematics from St. Petersburg State University (Russia, 1998), an MSc in Computer Science from Université Paris 6 (DEA Algorithmique; France, 2001) and a PhD in Computer Science from École Polytechnique (France, 2006). Before joining INRIA in 2017, I have spent two years at Verimag (Grenoble, France) as a post-doc with Joseph Sifakis working on formal semantics for the BIP component framework, three years as a research engineer at CEA Saclay (France) and six years as a scientific collaborator at EPFL (Lausanne, Switzerland).
With Saddek Bensalem, we are organising the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018). MeTRiD is a satellite of ETAPS 2018, which will take place in Thessaloniki, Greece on April 14–21, 2018.Read more
With Faouzi Atig, we are co-chairing the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018). It will be held in Grenoble, France on September 26–28, 2018.Read more
I am a Program Committee member of 6th International Conference on Formal Methods in Software Engineering (FormaliSE 2018).Read more