Gonzague Yernaux
Software Engineer at intoPIX
Hoeilaart, Flemish Brabant, Belgium
Summary
👤
Senior🎓
Top SchoolGonzague Yernaux is a software engineer with nine years of experience and a PhD in Computer Science from the University of Namur, where his research focused on semantic clone detection in logic programs—blending static analysis, formal reasoning and practical heuristics for hard complexity problems. He taught computer science for seven years, transitioning into industry as a software engineer at intoPIX while maintaining a creative side career as a self-published author and escape-game designer. Gonzague combines rigorous algorithmic thinking with hands-on electronics and microcontroller projects to prototype immersive puzzles that he has hosted for clients. Comfortable moving between academic formalism and pragmatic engineering, he has also worked as a freelance web developer and technology director for a nonprofit, demonstrating versatility across product, research and operational roles. His unusual mix of formal methods expertise and narrative design brings a distinctive ability to craft elegant technical solutions that also consider user experience and storytelling.
9 years of coding experience
10 years of employment as a software developer
PhD in Computer Science Algorithms complexity program analysis programming languages, PhD in Computer Science Algorithms complexity program analysis programming languages at Université de NamurCollège Saint-Michel
English, French, Dutch
Github Skills (10)
mute10
notification3
bundle3
mailer3
symfony2
twig2
php2
symfony-bundle2
email-parsing2
email-marketing1
Programming languages (1)
Github contributions (5)
GroopyMusic/GroopyMusic
Jan 2017 - Apr 2020
🎶 Repo de la plateforme UN-MUTE 🎶
Contributions:984 commits, 137 PRs, 832 pushes in 3 years 3 months
plateformemute
Gounzy/CLPGeneralization
Jul 2019 - Dec 2022
Contributions:5 pushes, 1 branch in 3 years 5 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.