Simon Bliudze is a seasoned researcher in component-based systemic modeling, blending academic rigor with industrial relevance in embedded and real-time systems. He serves as a Researcher / Chargé de recherche at Inria (Lille) since 2017 and as Associate Professor at École Polytechnique since 2024, reflecting a strong ability to teach, mentor, and collaborate across institutions. His work spans formal modeling, correctness-by-construction, and the analysis of complex cyber-physical systems, with notable contributions to the BIP framework and its Algebra of Connectors, developed in collaboration with Joseph Sifakis. Previously, he advanced research at EPFL and CEA, building a track record of cross-border collaboration and impact. He holds an MSc in Mathematics from Saint Petersburg State University and a PhD in Computer Science (Systemic Modelling) from École Polytechnique, and is based in Lille, France. His profile reflects a unique blend of theoretical depth and practical insight, capable of autonomous work while thriving in stimulating team environments.
9 years of coding experience
14 years of employment as a software developer
MSc, Mathematics, MSc, Mathematics at Saint Petersburg State University
High school dimploma (certificate of majority), Mathematics, Physics and Computer Science, High school dimploma (certificate of majority), Mathematics, Physics and Computer Science at 239
DEA, Computer Science, DEA, Computer Science at Pierre and Marie Curie University
Contributions:2 pushes, 5 branches in 5 years 9 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.