Adrien Stalain
Server Developer at Novaquark
Le Kremlin-Bicêtre, Île-de-France, France
Summary
👤
Senior🎓
Top SchoolAdrien Stalain is a server developer with 10 years of experience, currently building and maintaining the backend systems for the MMO Dual Universe at Novaquark. He combines deep C++ actor-model server engineering with production database work (PostgreSQL, MongoDB) and Python tooling, bringing practical, game-scale reliability to complex distributed systems. His background includes research on formal verification of the seL4 microkernel using Isabelle/HOL, reflecting a strong foundation in correctness and systems-level thinking not obvious from his game-focused roles. Early experience in web development (PHP/Symphony) and internships at Orange Labs and Axians give him a pragmatic full-stack perspective when interfacing services and data. Based in the Greater Rouen area, he pairs academic rigor from EPITA with a track record of shipping resilient server-side features in agile teams.
10 years of coding experience
EPITA: Ecole d'Ingénieurs en Informatique
Github Skills (39)
caf10
pattern-matching9
actor8
sat-solver8
coq8
mathematical8
async8
utility-mod7
minecraft7
proof-assistant7
dependent-types7
agda7
stateless7
proofs7
minecraft-fabric7
Programming languages (8)
Github contributions (5)
PolyB/kvm
Dec 2018 - Feb 2019
Contributions:23 commits, 15 pushes in 2 months
PolyB/toy-bootloader
Oct 2018 - Sep 2019
Contributions:2 commits, 1 push in 11 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.