about me
I am now an Assistant Professor at the University of Chile (Santiago, Chile). Link to my new website (under construction).
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 our local Women
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.
Niagara Falls, Feb 2007
