Olivier Bouissou (Preferred)
Olivier Bouissou
Researcher, AWS, Amazon
Joined
January 2026
Names
Emails
****@amazon.com (Confirmed)
Personal Links
Career & Education History
Researcher
AWS, Amazon (amazon.com)
2024 – Present
Researcher
DRT, CEA (cea.fr)
2008 – 2014
PhD student
LIX, École Polytechnique (polytechnique.edu)
2005 – 2008
Advisors, Relations & Conflicts
Expertise
Neuro-symbolic
2024 – 2025
Abstract Interpretation
2005 – 2025
Formal Verification of software
2005 – 2025