Date: Thu, 07 Nov 1996 19:09:14 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Wed, 30 Oct 1996 19:21:17 GMT Content-length: 4372 Ken Kunen's Home Page

Kenneth Kunen

Professor
Math and Computer Sciences
University of Wisconsin
1210 W. Dayton St.
Madison, WI 53706-1685

E-mail: kunen@cs.wisc.edu
Telephone: (608) 263-2874
Ph.D., Stanford University, 1968
Interests: automated deduction, logic programing, set theory, topology


Research Summary

Most of my research work involves logic and its applications.

Typical applications are automated deduction and logic programming. In automated deduction, we use tools like resolution to prove new mathematical theorems. In logic programming, we study the semantics of languages like Prolog. Specific topics I am considering are the Prolog use of negation-as-failure, and the semantic incompatibilities between least-fixed-point computations and the Prolog-style backtracking computation.

In mathematical logic, I work on axiomatic set theory. Besides being of interest in its own right, this subject relates to various abstract areas of mathematics, such as set-theoretic topology and measure theory, where many basic questions turn out to be independent of the usual axioms of set theory.

Selected Recent Publications

The following are all postscript files.

Book Review:

Courses Taught

For fall, 1996:

For spring, 1997:


Last Changed: October 4, 1996 by kunen@cs.wisc.edu