Guillaume Duboc
Group Manager at Theodo
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolGuillaume Duboc is a Paris-based engineering leader with nine years of experience who now manages multiple squads and the careers of 15 engineers as Group Manager at Theodo. He blends hands-on backend expertise—evidenced by notable contributions to the Elixir language’s type system, gradual typing and tuple/map operations—with a strong background in applied mathematics from École Polytechnique and Sorbonne. Guillaume excels at aligning technical architecture, quality and delivery with business roadmaps, coaching tech leads, and auditing systems for stability, security and performance. His early research in reaction-diffusion equations and experience applying deep learning in genomics give him a rare mix of rigorous academic modeling and practical software engineering. Colleagues know him for improving team skillsets through Lean/Scrum practices while driving pragmatic, scalable solutions for clients.
9 years of coding experience
5 years of employment as a software developer
Masters in Mathematics and Applications, Mathematics applied to Biological and Medical Sciences, Masters in Mathematics and Applications, Mathematics applied to Biological and Medical Sciences at Sorbonne UniversitéCycle Ingénieur Polytechnicien, Mathematics and Computer Science, Cycle Ingénieur Polytechnicien, Mathematics and Computer Science at École PolytechniqueClasse Préparatoire, Mathematics, Classe Préparatoire, Mathematics at Lycée Louis-le-Grand
French, English, Chinese, Japanese
Github Skills (8)
type-system10
functional-programming10
elixir10
data-structure9
algorithm9
data-structures9
algorithms9
testing8
Programming languages (8)
Github contributions (5)
elixir-lang/elixir
Nov 2021 - Nov 2021
Elixir is a dynamic, functional language for building scalable and maintainable applications
Role in this project:
Back-end Developer
Back-end DeveloperContributions:34 reviews, 2 commits, 13 PRs in 1 day
Contributions summary:Guillaume contributed significantly to the Elixir language's type system. Their work involved implementing and refining representations for various data types, including atoms, maps, and tuples. Key contributions include adding gradual typing support and operators for map and tuple operations, along with performance improvements to tuple difference calculations. The user's modifications encompassed changes across core type definitions, set operations, and related test suites.
functional-languagescalablefunctional-programmingelixircompiler
gldubc/cast-machine
Mar 2019 - Dec 2022
Implementation of a space-efficient lambda calculus with gradual set-theoretic types.
Contributions:127 commits, 2 PRs, 13 pushes in 3 years 9 months
dependent-typesdiscriminated-unionshomotopy-type-theorycalculustype-theory
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.