Agustín E. Martínez-Suñé (Preferred)
Agustín E. Martinez-Suñé
Agustín Eloy Martinez Suñé
Agustín E. Martinez Suñé
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
,
,
,
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
Expertise
Formal verification
, Model Checking
, Linear Temporal Logic
, Reinforcement Learning
, AI Safety
Present