I am Lecturer (Adjunt Profesor) at Department of Computer Sciences at Universidad Nacional de Río Cuarto.

I got my degree in Computer Sciences in 2005 at the Department of Computer Sciences at Universidad Nacional de Río Cuarto, and in 2014 I got my PhD. from Universidad de Buenos Aires.

I had a Phd Scolarship from CONICET (Argentina’s National Research Council)

My main area of interest is the application of technical and logical-mathematical tools (formal methods) for the specification, design, analysis and verification of software at its differents stages of development.