Marc Chevalier
Senior Compiler Engineer at Oracle
Langnau am Albis, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolMarc Chevalier is a Senior Compiler Engineer with 11 years of experience specializing in compilation, static analysis and formal methods for safety-critical and security-sensitive software. He has led the design and implementation of multi-language static analysis engines and a DSL compiler that eliminated hundreds of thousands of lines of error-prone code while delivering provable safety properties in production. His background spans PhD-level research in abstract interpretation and formal verification for avionics (Astrée) to building fast, maintainable analysis back-ends in industry, including ML-powered rule detection at Snyk. Now at Oracle, he continues to bridge rigorous academic techniques with pragmatic engineering to make complex analyses scalable and reliable. Marc’s work habitually turns deep formal insights into developer-friendly tooling and measurable operational improvements (e.g., 20x crash reduction and drastic time-to-support for new languages). Fluent in both theory and production engineering, he thrives on making formally sound analyses practical for real-world codebases.
11 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD Theoretical Computer Science, Doctor of Philosophy - PhD Theoretical Computer Science at Ecole normale supérieure Master of Science (M.Sc.) Theoretical Computer Science, Master of Science (M.Sc.) Theoretical Computer Science at EPFL CPGE MPSI MP* Option Computer science Math and physics, CPGE MPSI MP* Option Computer science Math and physics at Lycée Sainte-GenevièveFirst year of MSc in Computer Science Theoretical Computer Science, First year of MSc in Computer Science Theoretical Computer Science at École normale supérieure de Lyon
Chinese, French, German, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (81)
openjdk10
opam10
dotnet10
package-repository10
jvm10
java10
ocaml10
package-manager10
csharp10
dotnet-core10
irc-bot9
fsharp9
apl9
sasl9
irc9
Programming languages (7)
Github contributions (5)
marc-chevalier/jdk
Feb 2025 - Apr 2025
JDK main-line development https://openjdk.org/projects/jdk
Contributions:73 pushes, 18 branches in 1 month
WilliamAufort/ImageIndexing
Apr 2015 - May 2015
Contributions:78 commits, 58 pushes in 1 month
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.