Andoni Rodríguez (Preferred)
Andoni Rodríguez
PhD student, IMDEA Software Institute
PhD student, Universidad Politécnica de Madrid
- Joined March 2024
Names
Emails
****@imdea.org (Confirmed)
Personal Links
Career & Education History
PhD student
IMDEA Software Institute (imdea.org)
2021 – Present
PhD student
Universidad Politécnica de Madrid (upm.es)
2021 – Present
Advisors, Relations & Conflicts
Expertise
Formal methods
Present
Reactive synthesis
Present
LTL modulo theories
Present