Es Licenciado en Ciencias Matemáticas, UBA.
Diplôme d'Etudes Approfondies (DEA) de Mathématiques Pures, Université Paris 7.
Doctorat en Informatique Fondamentale, Université Paris 7.
Actualmente es Profesor Regular del Departamento de Computación y dicta las materias Reescritura, Cálculo Lambda y Substituciones Explícitas; Tópicos de Reescritura: Confluencia y Normalización.
Área/Especialidad: Teoría de la Computación.
Integra el grupo de investigación en Reescritura, Cálculo Lambda y Sistema de Tipos. Más información aquí
email:
rios (a) dc.uba.ar