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).
Affiliation: INRIA Lillle - Nord Europe
Personal website: http://www.bliudze.me/simon
Research interests: component-based design, correctness by construction, formal methods
|FormaliSE 2021||Co-chair in Programme Committee within the FormaliSE 2021-track|
|Show activities from other conferences|