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?