Grégoire Détrez
Senior Software Engineer at Mullvad VPN
Gothenburg, Västra Götaland County, Sweden
Summary
🤩
Rockstar🎓
Top SchoolGrégoire Détrez is a Senior Software Engineer based in Gothenburg with four years of professional experience building reliable Python services and tooling, currently contributing at Mullvad VPN. He combines hands-on development and scrum mastery in small agile teams, with strong interests in testing, simple APIs, build systems, automation and architecture. His background includes a PhD in computer science and prior roles where he led CI/CD, infrastructure operation and modernization efforts across research and industrial settings. Rooted in functional programming (OCaml, Haskell) and language engineering, he’s recently explored Rust, embedded systems and WebAssembly—bringing a research-driven attention to correctness into production engineering. Colleagues benefit from his tendency to simplify complex systems and to instrument and automate repeatable workflows rather than piling on custom fixes.
4 years of coding experience
4 years of employment as a software developer
Master 2, Linguistique informatique, Master 2, Linguistique informatique at Université Denis Diderot (Paris VII) / University Paris VIIMagistère d'Informatique, Computer Science, Magistère d'Informatique, Computer Science at École Normale Supérieure de CachanDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at University of Gothenburg
French, English, Swedish
Github Skills (48)
docker10
linux10
certificate-transparency10
container9
verifiable9
kubernetes9
openvpn9
podman9
merkle-tree9
nodejs9
pods9
runc9
rust8
queue8
encryption8
Programming languages (3)
Github contributions (5)
mullvad/message-queue
Aug 2021 - Jan 2023
A redis pubsub -> websocket message queue
Contributions:55 reviews, 24 commits, 105 PRs in 1 year 4 months
websocket-messageredisredis-streamsmessage-queueredis-pubsub
gregoire-mullvad/gh-team
Aug 2023 - Apr 2024
GitHub cli extension for your team's repositories
Contributions:3 PRs, 6 pushes, 1 branch in 7 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.