Welcome
A fourth year PhD candidate at Brigham Young University in the Computer Science department. Graduated with my bachelors magna cum laude in December 2004 and completed my Masters in December 2006 from the same department. My adviser is Dr. Eric Mercer .
Recent News:
Developed a new guided framework for the Java Pathfinder (JPF) model checker which is primarily developed and maintained at the NASA Ames Research Center. The key idea of the project is to use the output of static analysis tools for guiding the program execution toward specific program locations. In a novel approach we rank, both, thread and data non-determinism by using the new Symbolic execution framework in JPF. My mentor for the project is Willem Visser .
Serve as a student representative on the Department's Graduate Affairs committee and am the president of the university's Women in CS club. Receieved the 2007 Google Anita Borg Memorial Scholarship.
