Simon Bliudze is a member of UMR 9189 CRIStAL and researcher at the INRIA Lille – Nord Europe centre; he is also a part-time lecturer in the Computer Science Department at the École polytechnique. He obtained a Master’s degree in Mathematics from the University of St. Petersburg (Russia, 1998), a DEA (Master’s research) in Computer Science from the University of Paris 6 (DEA Algorithmics; France, 2001) and a PhD in Computer Science from the École Polytechnique (France, 2006).
Before joining INRIA in 2017, he spent two years as a post-doc at Verimag (Grenoble, France) working with Joseph Sifakis on the formal semantics of BIP, then three years as a research engineer at CEA Saclay (France) and six years as a scientific associate at EPFL (Lausanne, Switzerland).