about me
I am a Professor at the Departamento de Informática at the Santiago campus of the Universidad Técnica Federico Santa María.
I did my Ph.D at the Department of Computer Science of University of Toronto under Marsha Chechik's
supervision. I belong to the Formal Methods group at
UofT and to the Model and Transformation Engineering (MaTE)
group at the University of Chile.
I'm mainly interested in automated reasoning about software systems.
Specifically, I'm interested in testing methodologies and automated deduction of the cause of bugs. I also enjoy
teaching activities, and I participate in the Latinas
in Computing group.
I received my MSc in Computer Science from the Vrije Universiteit Brussel (Belgium) in 2003, and my BSc in Computer
Engineering from the Universidad de Chile (Chile) in 2003. I got my Computer Engineering degree from the
Universidad de Chile (Chile) in 2005.
