Simon Busard
Principal at N-SIDE
Gembloux, Namur, 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.
14 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 (16)
nusmv8
model-checking7
algorithms6
alloy6
password-generator6
operator-overloading6
formal-methods6
python6
bdd6
scala5
passwords5
character-sheet4
javascript3
compiler3
rpg3
Programming languages (4)
Github contributions (5)
sbusard/MePGen
Jun 2012 - Sep 2015
Contributions:66 commits, 1 PR, 1 push in 3 years 4 months
passwordspassword-generatorpasswordmemorable-passwordsgenerator-passwords
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
bddmodel-checkingnusmvpython
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.