 At the University of Washington, I worked on the <I>Murphy</I> project  (software safety methodologies) with the software safety group headed by <a HREF="http://www.cs.washington.edu/people/faculty/leveson.html"> Dr. Nancy Leveson</a>. Details on safety research at UW can be found at the  <a href="http://www.cs.washington.edu/research/projects/safety/www"> UW safety page</a>. Much of my work involved looking into automatic fault  tree generation from requirements specifications written in RSML, as well as working on the  RSML language simulator. <p>
