Date: Tue, 05 Nov 1996 00:26:15 GMT Server: NCSA/1.5 Content-type: text/html Last-modified: Wed, 19 Jun 1996 02:02:26 GMT Content-length: 7157 AI at the Univ. of Wisconsin - Madison University of Wisconsin -- Madison

AI Research and Education in the Computer Sciences Department

This is the World Wide Web home page for the AI Group in the University of Wisconsin Computer Sciences Department.

We are studying computer vision, robotics, machine learning, and automated deduction. Themes in computer vision and robotics include active approaches for controlling camera position and orientation in order to solve tasks such as navigation, scene exploration, and surface reconstruction. Machine learning research focuses on the integration of symbolic and connectionist (neural network) approaches to AI; these methods are being applied to problems in the Human Genome Project and the design of adaptive agents. Automated deduction studies methods for computer generation of formal proofs in logical systems, and is being applied to deductive databases and to discovering new mathematical theorems.

Table of Contents

Research Groups

The research groups of the following faculty members are doing AI research.

Check out a fun demo of Seitz and Dyer's morphing work.

AI Graduate Students

Click here for a list of AI graduate students and their research interests.

Recent Papers

Postscript versions of some of our recent papers are available.

AI Courses

The following AI courses are regularly offered:

PhD Qualifying Exam in AI

Information about the qualifying examination for PhD candidacy in AI:

The AI Seminar

Click here to see the current schedule of the local AI seminar.

Local AI-Related Mailing Lists

Click here for information about subscribing to several local AI-related mailing lists.

Miscellaneous Useful Information


Last modified: Thu Sep 7 17:52:47 1995 by Jude Shavlik
shavlik@cs.wisc.edu