Agustín Martinez Suñé
@agusmartinez92
Ph.D in Computer Science | Formal Methods and AI Safety
agusmartinez.ar$1,975total balance
$0charity balance
$1,975cash balance
$0 in pending offers
About Me
I hold a Ph.D. in Computer Science from the University of Buenos Aires, Argentina, where I focused on developing formal methods to analyze and verify distributed systems. Formal methods, grounded in logical-mathematical foundations, enable rigorous guarantees about system behavior.
My research is guided by a central question: How can formal verification techniques play a transformative role in ensuring AI safety?
Transactions
| For | Date | Type | Amount |
|---|---|---|---|
| SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents | 4 months ago | project donation | +250 |
| SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents | 5 months ago | project donation | +200 |
| SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents | 5 months ago | project donation | +25 |
| SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents | 5 months ago | project donation | +500 |
| SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents | 5 months ago | project donation | +500 |
| SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents | 5 months ago | project donation | +500 |