- Born on July 14, 1968 in the city of La Plata, Buenos Aires, Argentina, though I grew up in Ensenada.
- Studies:
- University of Twente, Faculty of Informatics. PhD in Computer Science. Supervisor: Prof.Dr. H. Brinksma (1999). See thesis.
- Universidad Nacional de La Plata, (UNLP): Analista en Computación (BS, 1993), and Licenciado en Informática (MSc, 1994).
- ENET No. 1, Santiago de Liniers: secondary school, graduating as Técnico Mecánico (1981-1986).
- La Inmaculada: kindergarten (1973), primary school (1974-1980).
- Currently working:
- Profesor. Dependable Systems Group, Computer Science Section, Facultad de Astronomía, Matemática, Física y Computación (FAMAF), Universidad Nacional de Córdoba (UNC).
- Researcher. Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET).
- Visiting professor. Dependable Systems and Software, Department of Computer Science, Universität des Saarlandes.
- Past positions:
- LIF, Université de Provence & CMI (2003-2004).
- Formal Methods & Tools group, University of Twente and CTIT. (PhD student, NWO/SION, 1995-1999; Post-doc, STW, 1999-2001; Visiting researcher, part-time, 2005-2006).
- Depto. de Informática (1990-1995), UNLP.
- Selected activities:
- Member of the Editorial Board of The Journal of Logic and Algebraic Methods in Programming (previously known as The Journal of Logic and Algebraic Programming).
- Chair of the IFIP WG1.8 on Concurrency Theory (2021-2023).