Manifund foxManifund
Home
Login
About
People
Categories
Newsletter
HomeAboutPeopleCategoriesLoginCreate
agusmartinez92 avataragusmartinez92 avatar
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?

Projects

SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents

Transactions

ForDateTypeAmount
SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agentsabout 2 months agoproject donation+250
SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents3 months agoproject donation+200
SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents3 months agoproject donation+25
SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents3 months agoproject donation+500
SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents3 months agoproject donation+500
SafePlanBench: evaluating a Guaranteed Safe AI Approach for LLM-based Agents3 months agoproject donation+500