📄 http:^^www.cs.washington.edu^homes^kepart^

📁 This data set contains WWW-pages collected from computer science departments of various universities
💻 EDU^HOMES^KEPART^
字号:
Date: Thu, 21 Nov 1996 22:54:33 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Fri, 20 Sep 1996 01:35:08 GMTContent-length: 3699<html><head><title> Kurt Partridge</title></head><body bgcolor="#FFEEAA" TEXT="#000000" LINK="#EE0000" VLINK="#952045" ALINK="#000000"><table width=565 border=0>  <tr><td><!WA0><!WA0><!WA0><IMG hspace=15 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>      <!WA1><!WA1><!WA1><img src="http://www.cs.washington.edu/homes/kepart/lib/line.gray-red.gif" height=6 width=530>      <center>      <!WA2><!WA2><!WA2><IMG vspace=8 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR>      <b> KURT PARTRIDGE </b> <br>      <!WA3><!WA3><!WA3><IMG vspace=5 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR>      </center>      <!WA4><!WA4><!WA4><img src="http://www.cs.washington.edu/homes/kepart/lib/line.gray-red.gif" height=6 width=530> <p>  </td></tr></table>  <table width=565 border=0>  <tr><td><!WA5><!WA5><!WA5><IMG hspace=15 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>      <b> ACADEMIC INFORMATION </b>  </td></tr></table><table width=565 border=0>  <tr><td><!WA6><!WA6><!WA6><IMG hspace=35 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>      I am a graduate student in the <!WA7><!WA7><!WA7><a href="http://www.cs.washington.edu/">      computer science department</a> at the <!WA8><!WA8><!WA8><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 <!WA9><!WA9><!WA9><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>       I have also dabbled in user interface design, human computer      interaction, and Java programming.<p>  </td></tr></table><table width=565 border=0>  <tr><td><!WA10><!WA10><!WA10><IMG hspace=15 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>    <b> RECENT PUBLICATIONS </b>  </td></tr></table><table width=565 border=0>  <tr><td><!WA11><!WA11><!WA11><IMG hspace=35 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>Kurt E. Partridge.  <i>BDDTCL: An Environment for Visualizing and Manipulating Binary DecisionDiagrams</i>.  Interactive Poster at CHI '96. (<!WA12><!WA12><!WA12><A HREF=http://www.cs.washington.edu/homes/kepart/papers/bddtcl/bddtcl.html>HTML</a>, <!WA13><!WA13><!WA13><AHREF=http://www.cs.washington.edu/homes/kepart/papers/bddtcl/bddtcl.ps>Postscript</a>).  <!WA14><!WA14><!WA14><ahref="http://www.cs.washington.edu/homes/kepart/papers/bddtcl/bddtcl_poster.ps">Poster Preview (Postscript)</a>.  <p>Nancy Leveson, Ken Bauer, Mats Heimdahl, Wayne Ohlrich, Kurt Partridge,  Vivek Ratan, and Jon Reese.  <i>A CAD Environment for Safety-Critical Software</i>.  NASA Conference on Safety Through Quality 1995.  (<!WA15><!WA15><!WA15><A HREF="http://www.cs.washington.edu/research/projects/safety/www/papers/nasa/draft3.ps">Postscript</a>) <p>  </td></tr></table><table width=565 border=0>  <tr><td><!WA16><!WA16><!WA16><IMG hspace=15 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>    <b>BACKGROUND</b>    </td></tr></table><table width=565 border=0>  <tr><td><!WA17><!WA17><!WA17><IMG hspace=35 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>    I started graduate school in 1992 after completing a B.S. in computer    science at UC Berkeley.  Before that I lived a lovely suburban life in    Thousand Oaks, CA with my parents, sister, and a cat named Otis. <p>    </td></tr></table><table width=565 border=0>  <tr><td><!WA18><!WA18><!WA18><IMG hspace=15 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>    <b>FUN</b>    </td></tr></table><table width=565 border=0>  <tr><td><!WA19><!WA19><!WA19><IMG hspace=35 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>    Right this way to <!WA20><!WA20><!WA20><a href="http://www.cs.washington.edu/homes/kepart/humor/index.html">Kurt's Humor Corner</a>. <p>    </td></tr></table><table width=565 border=0>  <tr><td><!WA21><!WA21><!WA21><IMG hspace=15 SRC="http://www.cs.washington.edu/homes/kepart/lib/dot_clear.gif"><BR></td><td width=565>    <!WA22><!WA22><!WA22><img src="http://www.cs.washington.edu/homes/kepart/lib/line.gray-red.gif" height=6 width=530> <p>    <address>    Box 352350<br>    University of Washington<br>    Seattle, WA 98195 USA<br>    Voice: (206) 685 4087<br>    FAX: (206) 543 2969<br>    <!WA23><!WA23><!WA23><a href="mailto:kepart@cs.washington.edu">kepart@cs.washington.edu</a>    </address>  </td></tr></table></html>
⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -