 My PhD thesis is entitled <cite> Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra</cite>. The  <a href = "http://www.cs.cornell.edu/Info/People/jackson/thesis/abstract.html"> abstract </a>(3K) is available, as is the full text in  <a href="http://www.cs.cornell.edu/Info/People/jackson/thesis/thesis.dvi.gz">dvi</a>(216K) and  <a href="http://www.cs.cornell.edu/Info/People/jackson/thesis/thesis.ps.gz">postscript</a>(311K) formats.    <h2>
