Rémi Delmas (Preferred)
Rémi Delmas
Principal Researcher, automated reasoning group, Amazon
- Joined September 2025
Names
Emails
****@amazon.com (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
Principal Researcher
automated reasoning group, Amazon (amazon.com)
2021 – Present
Researcher
Uber Elevate, Uber (uber.com)
2019 – 2021
Researcher
DTIS, Onera - The french aerospace lab (onera.fr)
2009 – 2019
Researcher
Research and Development, Prover Technology (prover.com)
2004 – 2009
Advisors, Relations & Conflicts
Expertise
Neuro-symbolic AI, formal systems modelling, system safety, real time systems, decision processes, formal logic, formal verification, theorem proving, tree search algorithms, reinforcement learning, bayesian learning
2001 – Present
urban aerial mobility, online optimization, reinforcement learning, neural drone control
2019 – 2021
embedded systems, formal verification, critical control systems, model checking, systems safety and reliability
2009 – 2019