 Currently I am working with  	<A HREF="http://www.cs.washington.edu/people/faculty/leveson.html"> Nancy Leveson </A>  	on <A HREF="http://www.cs.washington.edu/curie1/safety/www/index.html">model checking </A> and automatic test generation from  	specifications.  In my spare time I have been working with  	<A HREF="http://www.cs.washington.edu/homes/bershad"> Brian Bershad,</A> 	<A HREF="http://www.cs.washington.edu/homes/karlin"> Anna Karlin</A> and 	<A HREF="http://www.cs.washington.edu/people/grads/romer">Ted Romer</A>	 	doing memory performance analysis on the STD project (locally known as the  	<i> Severe TLB Damage </i> project).  Our group's paper will make its debut 	at ISCA in <A HREF="http://www.cs.washington.edu/homes/ohlrich/GIFS/isca95_sml.gif"> Italy </A> this summer.   <p>
