Alban Linard
Développeur Logiciels at KAIZEN Solutions (KZS)
Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolAlban Linard is a seasoned software engineer and R&D practitioner with 18 years of experience designing and implementing distributed systems, formal verification tools, and efficient data structures. Fluent in C++, Python and Lua, he blends research-grade rigor—holding a Ph.D. in computer science—with pragmatic engineering practices like no-warnings builds, static analysis and CI. His career spans academia and industry, from co-creating the Model Checking Contest and formal-methods platforms to modernizing production stacks with asyncio, Docker and Cython. He frequently proposes and implements architectural evolutions, mentors engineers and students, and has a knack for compact, layered data representations that simplify complex models. Based in Auvergne-Rhône-Alpes, France, he thrives at the intersection of formal semantics and production-quality software.
17 years of coding experience
15 years of employment as a software developer
Ph. D. in Computer Science Informatique, Ph. D. in Computer Science Informatique at Pierre and Marie Curie University
Stackoverflow
1,047reputation
44kreached
8answers
12questions
Github Skills (96)
love2d8
openresty8
moonscript7
lapis7
lua7
trace6
websocket6
resty6
real-time-systems6
url-routing6
lua-table6
checker6
nginx6
stl6
caching6
Programming languages (9)
Github contributions (5)
cosyverif/server
Apr 2016 - Dec 2016
Contributions:2 PRs, 247 pushes, 2 branches in 8 months
cosyverif/formalisms
Jun 2015 - Feb 2017
Contributions:1 release, 7 PRs, 76 pushes in 1 year 8 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.