I am a D.Phil student in Computer Science at the University of Oxford under the supervision of Prof. Michael Benedikt . I received my M.Sc in Computer Science 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.