CRISTIAN RIVEROS
Personal Website
"In their capacity as a tool, computers will be but a ripple on the surface of our culture. In their capacity as intellectual challenge, they are without precedent in the cultural history of mankind." E. W. Dijkstra, Turing Award Lecture, 1972
Department of Computer Science
Vicuna Mackenna 4860
Edificio San Agustin, 4to piso
Macul, Santiago, 7820436
+56 2 23547407
criveros@ing.puc.cl
Papers
Talks
I am an Assistant Professor at the Department of Computer Science at the Pontificia Universidad Catolica de Chile. picture I received a D.Phil from the University of Oxford in 2013 and a M.Sc from Pontificia Universidad Católica de Chile in 2008. I was previously studying at Pontificia Universidad Católica de Chile as an undergraduate student where I received a B.A. in Mathematics in 2006 and my Professional Degree in Computer Engineering in 2008.

My research interests are mostly in databases, automata theory, and verification.