Andoni Rodríguez

Researcher, J.P. Morgan Chase
PhD student, IMDEA Software Institute
PhD student, Universidad Politécnica de Madrid
Joined
March 2024

Names

Andoni Rodríguez (Preferred)

Emails

****@imdea.org (Confirmed)
, 
****@jpmorgan.com (Confirmed)

Personal Links

Career & Education History

Researcher
J.P. Morgan Chase (jpmorgan.com)
2026 – Present
PhD student
IMDEA Software Institute (imdea.org)
2021 – Present
PhD student
Universidad Politécnica de Madrid (upm.es)
2021 – Present
Researcher
Amazon (amazon.com)
2025 – 2025

Advisors, Relations & Conflicts

PhD Advisor
César Sánchez
Present

Expertise

Formal methods
Present
Reactive synthesis
Present
LTL modulo theories
Present

Publications

Co-Authors