Guillaume Brunerie
Developer (Game Logic, Animation Tools, Game Client)
Stockholm, Stockholm County, Sweden
Summary
🤩
Rockstar🎓
Top SchoolGuillaume Brunerie is a developer at ELK Studios with 14 years of experience who focuses on game logic, animation tools, and game client engineering using Typescript, React, Redux, and Go. He transitioned from a rigorous academic career in mathematics and theoretical computer science—holding a PhD and postdoctoral positions including at the Institute for Advanced Study—bringing deep formal reasoning and problem-solving to game development. Comfortable both mentoring teams and speaking publicly, he rapidly learns new technical stacks and translates abstract theory into practical, production-grade systems. Colleagues describe him as friendly and independent, able to tackle complex systems-level challenges while keeping player-facing polish in mind. An interesting strength is his background in homotopy type theory, which gives him an uncommon perspective on correctness and structure in software design.
15 years of coding experience
2 years of employment as a software developer
Master's degree, Mathematics and Computer Science, Master's degree, Mathematics and Computer Science at Ecole normale supérieureMathematics and Computer Science, Mathematics and Computer Science at Lycée Louis-le-Grand
French, English, Swedish, Portuguese, Russian, Polish, Finnish
Stackoverflow
4,968reputation
286kreached
219answers
28questions
android
top-5%
Github Skills (200)
dependency-management10
e2e-testing10
programming-language10
parser10
agda10
python10
bug-tracker10
dependency-analysis10
testing10
http10
language-server-protocol10
ruby10
fp-ts10
automation10
deadcode10
Programming languages (24)
Github contributions (5)
guillaumebrunerie/phindent-mode
Jan 2021 - Apr 2025
Contributions:4 pushes, 1 branch in 4 years 3 months
guillaumebrunerie/DualNetHack
Nov 2016 - Nov 2017
Contributions:29 commits, 21 pushes, 1 branch in 1 year
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.