Germán E. Regis

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.