Joan HartProfessor, University of Wisconsin Oshkosh
800 Algoma Boulevard
Oshkosh, WI 54901-8631
E-mail: firstname.lastname@example.orgFall 2018 Office Hours:
Office: Swart 120
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.
ResearchMy 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.
PublicationsThe papers are available both in postscript or pdf.
Last Changed: Sept. 4, 2018.