Raphaël Amiard

Senior Software Engineer - Compiler at Adacore

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
Raphaël Amiard is a Senior Software Engineer and compiler specialist with 15 years of experience building and improving language toolchains from Paris. With a long tenure at AdaCore and current work at CrowdStrike, he focuses on language semantics, compiler internals and tooling that prioritize maintainability and performance. His open-source contributions to the high-profile ClojureScript compiler include refactors around namespace and environment management and micro-optimizations that improve array handling and macro loading. A computer scientist by training (Master’s, UPMC), he combines rigorous academic grounding with practical, system-level engineering—often surfacing improvements that are subtle but materially improve compiler robustness and developer ergonomics.
code15 years of coding experience
job13 years of employment as a software developer
bookUPMC
bookMaster's degree, Computer Science, Master's degree, Computer Science at Université Pierre et Marie Curie (Paris VI)
languagesFrench, English
stackoverflow-logo

Stackoverflow

Stats
2,795reputation
318kreached
19answers
13questions
Badges
append
top-5%
python
top-5%
data-structures
top-5%
github-logo-circle

Github Skills (18)

clojure-cli10
clojure10
compiler-design10
clojurescript10
macros9
append9
python9
namespaces9
management9
data-structures9
manage9
performance-optimization8
ruby-on-rails6
ada6
parsing6

Programming languages (12)

TypeScriptC++ShellCMakefileJavaScriptGoLua

Github contributions (5)

github-logo-circle
clojure/clojurescript

Jun 2012 - Aug 2012

Clojure to JS compiler
Role in this project:
userBack-end Developer
Contributions:6 commits in 2 months
Contributions summary:Raphaël primarily focused on enhancing the ClojureScript compiler's internal workings. Their contributions involved refactoring and improving code related to namespace handling, environment management, and macro loading. They also updated the compiler to use the `empty-env` function consistently across various modules and incorporated the use of `alength` to replace `.-length` for array manipulation, improving the performance of the clojurescript compiler. These changes suggest a focus on improving the internal structure, efficiency, and maintainability of the compiler.
compilerclojureclojurescript
raph-amiard/CamllVM

Feb 2012 - Dec 2012

Contributions:211 commits, 2 comments, 1 issue in 10 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
Raphaël Amiard - Senior Software Engineer - Compiler at Adacore