Simon Busard
Principal at N-SIDE
Ottignies-Louvain-la-Neuve, Walloon Brabant, Belgium
Summary
👤
Senior🎓
Top SchoolSimon Busard is a principal software engineer and former academic researcher with 14 years of experience bridging model-checking research and industrial software delivery. Based in Louvain-la-Neuve, he holds a PhD in computer engineering from UCLouvain and spent seven years investigating counterexamples and symbolic model-checking strategies before moving into progressively senior engineering roles at N-SIDE. He specializes in formal verification of rich logics for reasoning about agents' knowledge and strategies, bringing a rigorous, research-driven approach to practical system design. Simon combines deep theoretical expertise with hands-on product development and architecture, often translating complex verification concepts into scalable tooling. Notably, his background implies strong capabilities in producing auditable, strategy-aware verification solutions that support decision-critical applications.
13 years of coding experience
5 years of employment as a software developer
Docteur en sciences de l'ingénieur, Informatique, Docteur en sciences de l'ingénieur, Informatique at Université catholique de Louvain
French, English
Stackoverflow
155reputation
5kreached
0answers
4questions
Github Skills (19)
prototyping8
nusmv8
model-checking7
alloy6
passwords6
operator-overloading6
formal-methods6
python6
scala6
bdd5
scalajs5
binding5
scala-native5
javascript4
functional-programming4
Programming languages (3)
Github contributions (5)
sbusard/pynusmv
May 2016 - Nov 2018
PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.
Contributions:2 commits, 3 PRs, 37 pushes in 2 years 6 months
model-basedmodel-checkingnusmvpythonexperimenting
sbusard/MePGen
Jun 2012 - Sep 2015
Contributions:66 commits, 1 PR, 1 push in 3 years 4 months
passwordspassword-generatorpasswordmemorable-passwordsgenerator-passwords
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.