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/

LinkedIn

-

Twitter / X

-

LessWrong

agustin_martinez_sune

EA Forum

-

Organizations

AI Safety Argentina

Organizer of AISAR Scholarships

Projects

No grants recorded.