I’m a Postdoc researcher at the Software Engineering and Formal Methods group, at the University of Rio Cuarto, Argentina, working under the supervision of Professor Nazareno Aguirre.

My main research interests are in the area of Software Testing and Analysis, with the goal of improving software reliability and quality. In 2022 I got my PhD at FAMAF, University of Córdoba, where I worked on the automated generation of formal software specifications, using search-based and learning-based techniques.

Publications