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 topic is the application of learning-based techniques to Program Analysis tasks. More precisely, my research focuses on the automated generation of formal software specifications, with the aim of improving Software Quality.