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.
- My CV
- Preprints and papers
- The next Midwest Model Theory Day Seminar will be held on April 5th, 2016.
- The repository of past qualifying exams can be found here

- During the Fall of 2016, I am teaching Math 570, Fundamentals of Set Theory
- During the Fall of 2016, I am teaching 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."

Down with making web page layouts using tables!! This page uses XHTML and CSS.

This page's layout stolen from Edward D. Kim