About me

I am a third year computer science Ph.D. student at the University of Virginia, advised by Sebastian Elbaum, and a member of LESS lab. I have a Systems Engineering Degree from the Catholic University of Córdoba in Córdoba, Argentina. My research interests are in verification and validation of different AI models, primarily those used by Cyber-Physical Systems like autonomous vehicles and drones. My aim is to ensure some degree of correctness for these safety-critical systems, for which the cost of failure is high.