Simon Bliudze
Associate Professor Professeur Chargé De Cours
Lille, Hauts-de-France
Summary
👤
Senior🎓
Top SchoolSimon Bliudze is an associate professor and Inria researcher with a PhD in Computer Science and nine years of professional experience bridging academic research and industrial R&D in component-based systemic modeling. He specializes in formal methods for embedded and real-time systems, correctness-by-construction and the BIP coordination framework, where his work on formal semantics and causal interaction has driven efficient symbolic implementations. Based in Lille, he combines autonomous research leadership with collaborative teaching at École Polytechnique, mentoring students while advancing rigorous system design. Notably, his background spans low-level semantic analysis (C and synchronous languages) to high-level algebraic models, reflecting an unusual fluency across theory, tool development, and applied verification.
9 years of coding experience
14 years of employment as a software developer
MSc, Mathematics, MSc, Mathematics at Saint Petersburg State UniversityPhD, Computer Science (Systemic modelling), PhD, Computer Science (Systemic modelling) at École PolytechniqueHigh school dimploma (certificate of majority), Mathematics, Physics and Computer Science, High school dimploma (certificate of majority), Mathematics, Physics and Computer Science at 239DEA, Computer Science, DEA, Computer Science at Pierre and Marie Curie University
English, French, Russian
Stackoverflow
23reputation
824reached
0answers
1question
Github Skills (6)
concurrent8
java7
distributed-computing7
git6
git-pull6
federated6
Programming languages (4)
Github contributions (5)
sbliudze/javabip-core
May 2017 - Sep 2022
Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.
Contributions:1 review, 7 commits, 7 PRs in 5 years 4 months
prioritiescoordinationjava-concurrentflavourbip
sbliudze/javabip-itest
Dec 2016 - Sep 2022
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.