Joan Hart

Professor, University of Wisconsin Oshkosh
Mathematics Department
800 Algoma Boulevard
Oshkosh, WI 54901-8631

E-mail: hartj@uwosh.edu
Telephone: 424-1053
Office: Swart 120
 

Spring 2013 Office Hours:

Mon., Wed., Fri. :   1:50 - 2:50 pm
or by appointment

Ph.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

Spring 2013:

• PBIS 187 : Problem Based Inquiry Seminar

Fall 2012:

• Math 171 : Calculus 1
• Math 273 : Calculus 3

Spring 2012:

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

Fall 2011:

• Math 273 : Calculus 3
• Math 446 : Independent Study in Logic

Spring 2011:

• Math 104 : College Algebra
• Math 172 : Calculus 2

Fall 2010:

• Math 171 : Calculus 1
• Math 480 : Topology
• Math 757 : Intro to Mathematical Logic

---

Last Changed: Jan. 30, 2013.

---