## Joan Hart

Professor, University of Wisconsin Oshkosh

Mathematics Department

800 Algoma Boulevard

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

Fall 2014 Office Hours:

Telephone: 424-1053

Office: Swart 120

Mon., Tues., Wed. : 10:20 am - 11:20 am

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, measure theory, 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 2014:

Spring 2014:

- Math 171 : Calculus 1

Fall 2013:

- PBIS 187 : Problem Based Inquiry Seminar
- Math 222 : Intro to abstract math

Spring 2013:

- Math 104 : College Algebra
- Math 171 : Calculus 1

Fall 2012:

- PBIS 187 : Problem Based Inquiry Seminar

Spring 2012:

- Math 171 : Calculus 1
- Math 273 : Calculus 3

- Math 104 : College Algebra
- Math 467 : Intro to real analysis

Last Changed: Sept. 2, 2014.