## Joan Hart

Professor, University of Wisconsin Oshkosh

Mathematics Department

800 Algoma Boulevard

Oshkosh, WI 54901-8631E-mail: hartj@uwosh.edu

Fall 2018 Office Hours:

Telephone: 424-1053

Office: Swart 120

Mon., Wed., Fri. : 1:50 - 2:50 pm

or by appointmentPh.D., University of Wisconsin -- Madison, 1996.

Advisor: Kenneth Kunen

M.A. in Mathematics, Miami University, Oxford, Ohio, 1989.Interests: set theory and logic, topology, automated deduction.

## Research

My research is in set theory and its applications to general topology and functional analysis.I am also interested in using computer tools to do work in algebra.

For information on automated reasoning tools, see the Prover9 and Mace4 web page.## Publications

The papers are available both in postscript or pdf.

## Courses

- Fall 2018: Math 104: College Algebra

- previous semesters

Last Changed: Sept. 4, 2018.