Rémi Delmas
Principal Applied Scientist at Amazon Web Services
Boston, Massachusetts, United States
Summary
🤩
Rockstar🎓
Top SchoolRémi Delmas is a Principal Applied Scientist based in Boston with nine years of industry experience and a long research pedigree in formal verification for safety-critical systems across railway and aerospace domains. He blends deep expertise in SAT/SMT methods, model-based assurance (CENELEC EN-50128, DO-178C/DO-333, ARP standards) and optimization with applied ML and reinforcement learning for control synthesis and stress testing. At AWS Automated Reasoning Group and formerly at Uber Elevate and ONERA, he has driven fault-tolerant architecture design, runtime safety assurance, and design-space exploration for Urban Air Mobility. Comfortable moving between research and production, he has built SIL-4 certifiable verification tools and mentored students while bridging industrial deployment and formal methods research. An uncommon strength is his combination of hands-on formal-tool development and practical reinforcement-learning approaches to falsification and robust control, enabling both certifiable evidence and resilient controller behavior.
9 years of coding experience
16 years of employment as a software developer
PostGrad, Computer Science, PostGrad, Computer Science at RMIT UniversityAerospace Engineer, Industrial Computer Systems, Aerospace Engineer, Industrial Computer Systems at Ecole Nationale Supérieure de Mécanique et d'AérotechniqueDoctor of Philosophy (PhD), Fundamental Computer Science, Doctor of Philosophy (PhD), Fundamental Computer Science at ISAE-SUPAERO
anglais (courant)
Github Skills (65)
fhe10
c9910
ansi-c10
cpp10
encryption10
crypto10
rust10
tlaplus10
verification10
checker10
protocols10
tla10
ssl10
model-checking10
cryptography10
Programming languages (11)
Github contributions (5)
remi-delmas-3000/cbmc
Aug 2021 - Feb 2025
C Bounded Model Checker
Contributions:739 pushes, 103 branches in 3 years 6 months
model-checkerchecker
remi-delmas-3000/kani
Jan 2023 - Mar 2025
Kani Rust Verifier
Contributions:122 pushes, 25 branches in 2 years 1 month
rustverifier
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.