Agustín E. Martínez-Suñé

Undergrad student, Computer Science Department, Universidad de Buenos Aires
MS student, Computer Science Department, Universidad de Buenos Aires
PhD student, Computer Science Department, Universidad de Buenos Aires
Lecturer, Universidad Torcuato di Tella
Postdoc, Department of Computer Science, University of Oxford
Joined
July 2025

Names

Agustín E. Martínez-Suñé (Preferred)
Agustín E. Martinez-Suñé
Agustín Eloy Martinez Suñé
Agustín E. Martinez Suñé

Emails

****@cs.ox.ac.uk (Confirmed)

Personal Links

Career & Education History

Undergrad student
Computer Science Department, Universidad de Buenos Aires (uba.ar)
Present
MS student
Computer Science Department, Universidad de Buenos Aires (uba.ar)
Present
PhD student
Computer Science Department, Universidad de Buenos Aires (uba.ar)
Present
Lecturer
Universidad Torcuato di Tella (utdt.edu)
Present
Postdoc
Department of Computer Science , University of Oxford (oxford.ac.uk)
Present

Advisors, Relations & Conflicts

Postdoc Advisor
Present
Coauthor
Present
Coauthor
Present
Coauthor
Present

Expertise

Formal verification
Model Checking
Linear Temporal Logic
Reinforcement Learning
AI Safety
Present

Publications

View all 15 publications

Co-Authors