Who I am
I am a PhD. student at the Departamento de Computación at Universidad Nacional de Río Cuarto(U.N.R.C) under the supervision of Pablo Castro.
I have a PhD scholarship of Agencia Nacional de Promoción Científica y Tecnológica (FONCyT).
Also I am a Teaching Assistant at Departamento de Computación in the Facultad de Ciencias Exactas, Físico-Químicas y Naturales of the U.N.R.C.
Interests
My main research interests are topics of theoretical computer science, in particular, I am interested in using logics as tools for characterizing software behavior.
More precisely, I am working on some extensions of modal logics to capture, and reason about, common properties of interests in fault-tolerance. The main goal of my work is to obtain software tools to support the automated verification of fault-tolerant systems.
If you are wondering about my Personal interests they are my family, photography and music (passive).