FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
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
Research interests:component-based design, correctness by construction, formal methods

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile