The aim of my research is to increase the dependability of autonomous and unmanned systems by developing tools and techniques that assist the verification and validation process of these systems. As part of this goal, we have been applying and developing static and dynamic program analysis and testing techniques to PLEXIL plans and to Robotics applications that make use of ROS and UrbiScript. I am also a member of the NIMBUS lab which is a great place to move from the unmanned systems theory to practice and to conduct experiments that involve using micro aerial vehicles. This multidisciplinary environment help us to identify how Software Engineering can improve and make the verification process faster and more effective.
Before grad school, I received my Computer Science degree from Universidad Católica de Córdoba (Argentina) and worked in the software industry for a while. Back then, I mainly built web applications using Java and .Net technologies, working in both the front and back end.