Short bio

I am a Junior Researcher (CRCN) at INRIA Lille – Nord Europe and a part-time 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 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 currently a member of the Steering Committee of the International Conference on Coordination Models and Languages (Coordination), which is part of the Federated Conference on Distributed Computing Techniques (DisCoTec) and of the Steering Committee of the International Conference on Formal Methods in Software Engineering (FormaliSE).