  <b> Current Research: </b>  For the past year I have been working with  <a href="http://www.cs.washington.edu/homes/bershad/">Brian Bershad</a>. My primary responsibility is the construction of a UNIX server for the <a href="http://www.cs.washington.edu/research/projects/spin/www">SPIN</a> operating system.  SPIN is an operating system on which applications  can achieve impressive performance by dynamically extending the kernel.   Safety and protection are maintained at the language level, as SPIN and  its extensions are written in   <a href="http://www.research.digital.com/SRC/modula-3/html/home.html"> Modula-3</a>.  <p>
