Grégoire Verdier

Software Engineer at Mistral AI

Paris, Ile-de-France
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Grégoire Verdier is a seasoned software engineer with 11 years of experience building high-performance .NET systems and developer-facing SDKs, now working at Mistral AI in Paris. He led large-scale performance and observability efforts at Criteo—driving multi-million-dollar cost savings, introducing continuous profiling with Pyroscope, and contributing upstream fixes and diagnostics to the .NET runtime. He has a strong track record shipping infrastructure: tracing and caching SDKs that scaled to 17M QPS and a Generative AI SDK focused on rapid developer onboarding. A former C/UNIX instructor with embedded-systems training from EPITA and international study at Sejong University, he combines low-level rigor with production-scale distributed systems expertise. Colleagues rely on him for deep performance analysis and pragmatic engineering that turns complex diagnostics into actionable fixes.
code11 years of coding experience
job8 years of employment as a software developer
bookComputer Engineering, Computer Engineering at Sejong University
bookGISTRE (Génie Informatique des Systèmes Temps Réel et Embarqués), GISTRE (Génie Informatique des Systèmes Temps Réel et Embarqués) at EPITA: Ecole d'Ingénieurs en Informatique
bookBaccalauréat Scientifique, Baccalauréat Scientifique at Lycée Sainte Ursule
languagesFrench, English
stackoverflow-logo

Stackoverflow

Stats
872reputation
89kreached
11answers
18questions
github-logo-circle

Github Skills (200)

linq10
invocation10
nunit10
autocomplete10
protoc10
component-library10
blazor-server10
react-leaflet10
onnx10
blazor10
api10
mapper10
pooling10
json10
net-library10

Programming languages (17)

C#PowerShellC++JinjaRustCTeXMakefile

Github contributions (5)

github-logo-circle
verdie-g/DatadogStatsD

Mar 2020 - Aug 2021

Contributions:138 commits, 104 pushes, 6 branches in 1 year 5 months
verdie-g/dofus-market

Jul 2021 - Nov 2021

Contributions:54 commits, 24 pushes, 1 branch in 4 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.
Request Free Trial