MIME-Version: 1.0 Server: CERN/3.0 Date: Wednesday, 20-Nov-96 19:31:37 GMT Content-Type: text/html Content-Length: 3315 Last-Modified: Monday, 27-Feb-95 02:12:50 GMT Paul Jackson's Home Page

Paul Jackson



Post-Doctoral Associate
Cornell University

e-mail:
jackson@cs.cornell.edu
www:
http://www.cs.cornell.edu/Info/People/jackson/jackson.html

address:
Department of Computer Science
4158 Upson Hall
Cornell University
Ithaca NY 14853
USA

phone #:
+1 (607) 255-6046
department fax #:
+1 (607) 255-4428

Research Interests

Theorem proving environments, formal methods for software and hardware development, computer algebra, synthesis of scientific programs, linkage of software tools for engineering design.

Thesis Information

My PhD thesis is entitled Enhancing the Nuprl Proof Development System and Applying it to Computational Abstract Algebra. The abstract (3K) is available, as is the full text in dvi(216K) and postscript(311K) formats.

Papers

Nuprl

The Nuprl project has its own World-Wide Web home page . From here, you can access documentation on Nuprl and communicate with a live Nuprl session that has some basic theories loaded. This collection of Nuprl pages still needs further work on it to make it more accessible. I or someone else will get round to paying some attention to this, sometime in the next month or two.

Hypertext listings for most of the theories I developed for my thesis are available. The listings for each theory include introductions, summaries of definitions and theorems, and formatted proofs. The listings for the polynomial-related theories are not included at the moment, but should be in the next couple of days.


Last Modified Feb 25th, 1995

Paul Jackson / jackson@cs.cornell.edu