Contact

(MyLastName)@math.wisc.edu

723 Van Vleck Hall

Department of Mathematics University of Wisconsin 480 Lincoln Dr. Madison, WI 53706-1388

Research

My research lies in the area of Mathematical Logic. I am broadly interested in many topics from mathematical logic. My main focus is on the areas of Recursion Theory, Model Theory, and the natural blending of the two: Recursive Model Theory.

Recursive Model Theory is the study of the connection between elementary properties of a theory and problems of computation regarding its models. For example, Julia Knight and I showed that if a theory is strongly minimal and has one recursive model, then all of its countable models are computable from $0'''$. This is very much not true for general theories (e.g. arithmetic), and encapsulates the computability-theoretic content of strong minimality.

Other Stuff I'm Into

Slides for a talk I gave in honor of my mentor and friend Steffen Lempp (open in full-screen on a desktop, preferably using chrome. Click left and right to move between slides.)

I'm an avid chess player, USCF National Master since 2013. I play mostly over on lichess nowadays.

I used to be known for traveling around town on my unicycle , but it's become a bit less common.

I've become increasingly interested in Web Development. Please check out my project PaperStatusTracker . It's a great way to keep track of all your research projects, which co-author is currently working on what thing, or when and where papers were submitted.

Also, please check out LearnToBlind . It'll help you train to be able to play blindfold chess. Playing blindfold chess is great for your board visualization, which in turn is great for your tactics, planning, and overall play. Strongly recommended for players rated above 1600.

Also, please check out What Can I Eat . It's designed to help those on new medical diets learn what options they have available. Instead of a list of dos and don'ts, it gives sample menus, along with recipes, for a day or a meal which fits into your diet. Seeing some sample menus that fit into your new diet can make transitioning to the new diet a lot easier.

I'm also coorganizing the Madison Math Circle . If you're interested in giving a talk, please be in contact!

Spread Cancer Awareness! It seems that most people are not aware of when and how to be doing self-exams. If you've got 'em, you should be checking your breasts . And if you've got 'em, you should be checking your testicles .

Teaching

  • During the Fall of 2024, I am teaching Math 770, Model Theory and Intro Logic
  • During the Spring of 2024, I taught Math 873, Topics in Logic , focusing on reductions of equivalence relations.
  • During the Fall of 2023, I taught Math 770, Model Theory and Intro Logic
  • During the Spring of 2023, I taught Math 541, Modern Algebra .
  • During the Fall of 2022, I taught Math 770, Model Theory and Intro Logic .
  • During the Spring of 2022, I taught Math 776, Model Theory .
  • During the Fall of 2021, I was on leave from teaching.
  • During the Spring of 2021, I taught Math 222, Calculus II.
  • During the Fall of 2020, I taught Math 113, Trigonometry.
  • During the Spring 2020, I was on leave from teaching.
  • 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."
    • more