This page has moved to This page is kept for archival purposes only.

Paul Jackson

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

Paul's 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.



Hypertext listings for some of the theories Paul developed for his thesis are available on the Nuprl Math Library page. The listings for each theory include introductions, summaries of definitions and theorems, and formatted proofs.