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