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.

No endorsements yet.

Personal Website

https://agusmartinez.ar/

LinkedIn

-

Twitter / X

-

LessWrong

agustin_martinez_sune

EA Forum

-

No grants recorded.