Box A13 - Department of Computer Science
Ruta 36 Km 601
Río Cuarto, Córdoba
I am Lecturer (Adjunt Profesor) at Department of Computer Sciences at National University of de Río Cuarto.
I got my degree in Computer Sciences in 2005 at the Department of Computer Sciences at National University of de Río Cuarto, and in 2014 I got my PhD. from University of 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.