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 be able to ensure some degree of correctness for these systems, for which failures costs are high and safety critical.