Andoni Rodríguez (Preferred)
Andoni Rodríguez
Researcher, J.P. Morgan Chase
PhD student, IMDEA Software Institute
PhD student, Universidad Politécnica de Madrid
Joined
March 2024
Names
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
Expertise
Formal methods
Present
Reactive synthesis
Present
LTL modulo theories
Present