Rémi Delmas

Principal Researcher, automated reasoning group, Amazon
Joined
September 2025

Names

Rémi Delmas (Preferred)

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

Coauthor
Youssef Hamadi
2019 – 2021
Coauthor
Nicola Bernini
2019 – 2021
Coauthor
Eric Goubault
2019 – 2021
Coauthor
François X. Sillion
2019 – 2021
Coauthor
Sylvie Putot
2019 – 2021
Coauthor
Claudia D'Ambrosio
2019 – 2021
Coauthor
Claire Pagetti
2009 – 2019
Coauthor
Thomas Polacsek
2009 – 2019
PhD Advisor
Kevin Delmas
2014 – 2018
Coauthor
Laurence Cholvy
2012 – 2012

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

Publications

Co-Authors

View all 28 co-authors