• Uri Andrews
    Research: Model Theory, Computability Theory,
    Computable Model Theory
  • Steffen Lempp
    Research: Computability Theory and Its Applications
    to Model Theory, Algebra, Proof Theory, and Computer Science
  • Joseph S. Miller
    Research: Computability Theory:
    Algorithmic Randomness, Reverse Mathematics,
    and Effective mathematics
    (primarily computable analysis and topology)

Emeritus Faculty

  • H. Jerome Keisler
    Research: Model Theory and Nonstandard Analysis
  • Kenneth Kunen
    Research: Set Theory, General Topology, Algebra
  • Arnold W. Miller
    Research: Set Theory of the Real Line

Postdoctoral Fellows

  • Rutger Kuyper (Kuijper) (on leave 2016-17)
    Research: Computability Theory:
    Medvedev and Muchnik Degrees,
    Algorithmic Randomness; Probability Logic
  • Noah Schweber
    Research: Computability Theory
    (including reverse mathematics
    and computable structure theory)
    and set theory


  • Mariya Soskova
    Research: Computability Theory

Graduate Students

  • Tejas Bhojraj
  • Wil Cocke (advisor: Isaacs)
  • Meng-Che ("Turbo") Ho (advisors: Andrews and Dymarz)
  • Reese Johnston (advisor: Lempp)
  • Tamvana Makuluni (advisor: Andrews)
  • Ethan McCarthy (advisor: J. Miller)
  • Iván Ongay Valverde (advisor: Kunen)
  • Paul Tveite (advisor: J. Miller)

Southern Wisconsin Logic Seminar

We meet every Tuesday afternoon at 4:00 p.m. for the Southern Wisconsin Logic Colloquium, the logic seminar for UW-Madison and Marquette University.

Logic Reading Seminar

The weekly logic reading seminar, Math 975, is held on Wednesdays at 3:30 in room B119 Van Vleck without fixed topic, but with each student choosing a topic for his/her talk for 1-2 hours.

Midwest Computability Seminar and Midwest Model Theory Day

The University of Wisconsin-Madison is, together with the University of Chicago and the University of Notre Dame, part of the Midwest Computability Seminar, which meets once or twice a semester, usually on a Tuesday afternoon, on the University of Chicago campus.

The University of Wisconsin-Madison is also, together with the two campuses of the University of Illinois and the University of Notre Dame, part of the Midwest Model Theory Day, which meets once a semester, usually on a Tuesday afternoon, on the University of Illinois at Chicago campus.

In fall 2015, we don't expect either regional seminar to meet due to the AMS Sectional Meeting (with special sessions in computability theory and applications and model theory) at Loyola University on October 3-4.

Graduate Student Conference in Logic

This conference traditionally meets in late April, is organized by graduate students, and rotates typically between the University of Wisconsin-Madison, the University of Illinois at Urbana-Champaign, the University of Notre Dame, and universities in Chicago.

Asher Kach (Code.org) and Turbo Ho (UW-Madison) have written up some helpful instructions for future organizers.

UW logic theses since 1990 (many on line)

Related Links

Maintained by Steffen Lempp (@math.wisc.edu">lemppmath.wisc.edu)