Department of Mathematics

University of Wisconsin

480 Lincoln Dr.

Madison, WI 53706-1388

My major interests lie within the subfield of math known as Mathematical Logic. Specifically, I am interested in Recursion Theory, Model Theory , and the natural blending of the two, Recursive Model Theory.
The webpage for the UW--Madison Logic group can be found here.

- During the Fall of 2019, I taught Math 171, Calculus with Algebra and Trigonometry I. The course webpage is on Canvas (login required).
- During the Spring of 2019, I taught 2 lectures of Math 222, Calculus II
- During the Fall of 2018, I taught Math 770, Introduction to Logic
- During the Summer of 2017, I taught Math 521, Analysis I
- During the Spring of 2017, I taught Math 221, Calculus 1
- During the Fall of 2016, I taught Math 570, Fundamentals of Set Theory
- During the Fall of 2016, I taught Math 876, Continuous Model Theory
- During the Spring of 2016, I taught Math 776, Model Theory
- During the Fall of 2015, I taught Math 171, Calculus with Algebra and Trigonometry I.
- During the Spring of 2015, I taught Math 776, Model Theory
- During the Fall of 2014, I taught Math 770, Introduction to Logic
- During the Fall of 2014, I taught Math 873, Recursive Model Theory
- During the Spring of 2014, I was not teaching, but rather attending this MSRI workshop.
- During the Fall of 2013, I taught Math 571, Mathematical Logic
- During the Fall of 2013, I taught Math 773, Recursion Theory
- During the Spring of 2013, I taught Math 521, Analysis I
- During the Spring of 2013, I taught Math 542, Algebra II
- During the Fall of 2012, I taught Math 521, Analysis I
- During the Fall of 2012, I taught Math 873, Advanced Topics in Foundations entitled "Applied Model Theory."
- During the Spring of 2012, I taught Math 320, Linear Algebra and Differential Equations
- During the Fall of 2011, I taught Math 770, Introduction to Logic
- During the Fall of 2011, I taught math 873, Topics in Model Theory and Algebraic Geometry
- During the Spring of 2011, I taught Math 217, Calculus with Algebra and Trigonometry II.
- During the Spring of 2011, I taught Math 776, Model Theory.
- During the Fall of 2010, I taught Math 171, Calculus with Algebra and Trigonometry I.
- During the Fall of 2010, I taught Math 873, Advanced Topics in Foundations entitled "Classical and Computable Model Theory."

- This recipe/menu suggester is a site I created to help people learn how to cope with new diets (especially medical diets).
- Here are slides from my talk at Lemppfest in honor of Steffen Lempp. View in full-screen mode. Very much not mobile-friendly.