Benoit Rognier
CEO at Edukera
Neuilly, Normandy, France
Summary
👤
Senior🎓
Top SchoolBenoit Rognier is a CEO and founder with over a decade of hands-on experience building data-driven products and R&D teams, currently leading Edukera, an online platform that automates validation of formal math and logic proofs for students and teachers. He blends deep expertise in analytical CRM, predictive analytics and convex optimization with formal mathematics and software verification, a rare mix that informs both product design and rigorous validation pipelines. Previously he led innovation and R&D at Probance, delivering marketing data platforms that slashed deployment times from months to days. His background ranges from presales and modeling work at KXEN to engineering roles producing in-database scoring and time-series tooling, showing fluency from algorithms to production systems. Based in Normandy, France, he pairs an engineer’s rigor (ENSICAEN, University of Nottingham) with founder-level product instincts and technology scouting. An uncommon detail: he applies formal verification thinking to educational UX, turning mathematical proof pedagogy into automatable, auditable learning workflows.
12 years of coding experience
4 years of employment as a software developer
Computer Science, Computer Science at University of NottinghamEngineer's degree Computer Science, Engineer's degree Computer Science at ENSICAEN - Ecole Nationale Supérieure d'Ingénieurs de Caen
English, French
Stackoverflow
101reputation
0reached
0answers
0questions
Github Skills (83)
archetype10
syntax-highlighting10
extend8
proxies8
theia8
security8
highlight8
webpack-dev-server8
marketplace8
microservices7
consul7
angular7
api-management7
kubernetes7
unit-test7
Programming languages (11)
Github contributions (5)
completium/poll-dapp
Oct 2022 - Jan 2023
Contributions:50 commits, 61 pushes, 3 branches in 3 months
edukera/archetype-gitbook
May 2019 - Mar 2022
Contributions:704 commits, 5 PRs, 13 pushes in 2 years 10 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.