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).
I am looking to hire a post-doc on an 18-month contract. Detailed information available from the INRIA job vacancies site.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. Abstract and paper submission deadlines extended!Read more
I am a Program Committee member of the FACS 2018 conference, which will be held in Pohang, Korea on October 10–12, 2018.Read more