Agustín Martinez Suñé

Research Associate in the Department of Computer Science at the University of Oxford’s OXCAV group with a PhD in Computer Science from the University of Buenos Aires, where he specialized in formal methods for distributed systems; his current work focuses on connecting formal verification and AI safety.

Personal Website

https://agusmartinez.ar/

LessWrong

agustin_martinez_sune

Organizations

AI Safety Argentina

Organizer of AISAR Scholarships

Projects

No grants recorded.