Simon Bliudze

Registered user since Tue 14 Nov 2017

Name: Simon Bliudze

Bio: Simon Bliudze is a Research Scientist at INRIA Lille – Nord Europe (France) and a part-time Assistant Professor at the Computer Science department of École polytechnique (Paris, France). He holds an MSc in Mathematics from St. Petersburg State University (Russia, 1998), an MSc in Computer Science from Université Paris 6 (France, 2001) and a PhD in Computer Science from École Polytechnique (France, 2006). He has spent two years at Verimag (Grenoble, France) as a post-doc with Joseph Sifakis working on formal semantics for the BIP component framework. Before joining INRIA in 2017, he has spent three years as a research engineer at CEA Saclay (France) and six years as a scientific collaborator at EPFL (Lausanne, Switzerland).

Country: France

Affiliation: INRIA Lillle - Nord Europe

Personal website:

Research interests: component-based design, correctness by construction, formal methods


FormaliSE 2021 Co-chair in Programme Committee within the FormaliSE 2021-track
FormaliSE 2020 PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019 Committee Member in Program Committee within the FormaliSE 2019-track
MeTRiD 2019 Co-chair in Program Committee within the MeTRiD-track
Session Chair of Welcome & Keynote 1 (part of MeTRiD)
Co-chair in Organizing Committee within the MeTRiD-track
Co-chair of Welcome within the MeTRiD-track
FormaliSE 2018 Committee Member in Program Committee within the FormaliSE 2018-track