My research interests lie in model theory and intuitionistic logic. My co-advisors
are Steffen Lempp at UW and Wim Ruitenburg at Marquette University. I
often work closely with Jonathan
Fleischmann and Ben Ellison.
I am minoring in math education, and am interested in the mathematical preparation of
future teachers. I have worked in many capacities to help improve UW's math content courses for future
elementary and middle school teachers.
My CV (DRAFT, last updated 04/13/08), and teaching
statement (DRAFT coming soon).
Publications
Kripke submodels and universal sentences. Ben Ellison, Jonathan
Fleishmann1, Dan McGinn, and Wim Ruitenburg; Mathematical Logic Quarterly
53 (2007), no. 3, 311-320. .pdf
Quantifier Elimination for a class of intuitionistic theories. Ben
Ellison, Jonathan Fleischmann, Dan McGinn1, and Wim Ruitenburg; accepted
to Notre Dame Journal of Formal Logic. .pdf
1: Denotes corresponding author.
More about me.
My office is 316 Van Vleck Hall;
the phone is 3-3062. The best way to get a hold of me is to drop me a line at mcginn
(at) math (dot) wisc (dot) edu.
When I'm not thinking about logic or education, I'm usually worrying about
the Boston
Red Sox, or playing
ultimate frisbee.
Some potentially useful links.
The UW math department page.
The UW logic group.
