        I am a graduate student in the <a href="http://www.cs.washington.edu/">       computer science department</a> at the <a       href="http://www.washington.edu/">University of Washington</a>.  My       interests include software engineering, software specifications,       specification usability and readability, and applications of formal       methods to specifications.  The <a       href="http://www.cs.washington.edu/research/projects/safety/www/">UW       software safety</a> web page describes my and others' work in these       areas. <p>
