ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Simon Bliudze

Registered user since Tue 14 Nov 2017

Name: Simon Bliudze

Bio: Simon Bliudze is a Research Scientist at INRIA Lille – Nord Europe. 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: http://www.bliudze.me/simon

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

Contributions

MeTRiD 2019Co-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
Show activities from other conferences

ETAPS 2019-profile
View general profile