I am a Research Scientist at INRIA Lille – Nord Europe and an Assistant Professor at the Computer Science department of École polytechnique. 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 Panagiotis Katsaros, we are co-organising the MeTRiD 2019 workshop, which will be held in Prague, Czech Republic on April 6, 2019 as a satellite of ETAPS 2019.Read more
I am a member of the Program Committee of FormaliSE 2019 — a satellite conference of ICSE 2019. It will take place in Montréal, QC, Canada on May 25–31, 2019.Read more
I am a member of the Program Committee of Coordination 2019 — one of the three conferences of DisCoTec 2019. It will take place at the Technical University of Denmark in June 18-21, 2019.Read more