Logic

Faculty

  • Uri Andrews
    Research: Model Theory, Computability Theory,
    Computable Model Theory
    @math.wisc.edu">andrewsmath.wisc.edu
     
  • Steffen Lempp
    Research: Computability Theory and Its Applications
    to Model Theory, Algebra, Proof Theory, and Computer Science
    @math.wisc.edu">lemppmath.wisc.edu
     
  • Arnold W. Miller
    Research: Set Theory of the Real Line
    @math.wisc.edu">millermath.wisc.edu
     
  • Joseph S. Miller
    Research: Computability Theory:
    Algorithmic Randomness, Reverse Mathematics,
    and Effective mathematics
    (primarily computable analysis and topology)
    @math.wisc.edu">jmillermath.wisc.edu
     

Emeritus Faculty

  • H. Jerome Keisler
    Research: Model Theory and Nonstandard Analysis
    @math.wisc.edu">keislermath.wisc.edu
     
  • Kenneth Kunen
    Research: Set Theory, General Topology, Algebra
    @math.wisc.edu">kunenmath.wisc.edu
     

Postdoctoral Fellows

  • Mingzhong Cai
    Research: Computability Theory
    @math.wisc.edu">mcaimath.wisc.edu
     

Graduate Students

  • Kuanysh Abeshev (advisors: Serikzhan Badaev (Kazakh National University) and Lempp)
    @gmail.com">kuanqkgmail.com
     
  • Meng-Che ("Turbo") Ho (advisor: Andrews)
    @math.wisc.edu">homath.wisc.edu
     
  • Reese Johnston
    @math.wisc.edu">rwjohnstonmath.wisc.edu
     
  • Mushfeq Khan (advisor: J. Miller)
    @math.wisc.edu">khanmath.wisc.edu
     
  • Ashutosh Kumar (advisor: A. Miller)
    @math.wisc.edu">akumarmath.wisc.edu
     
  • Tamvana Makuluni (advisor: Andrews)
    @math.wisc.edu">makulunimath.wisc.edu
     
  • Ethan McCarthy
    @math.wisc.edu">mccarthymath.wisc.edu
     
  • Andrea Medini (advisor: Kunen)
    @math.wisc.edu">medinimath.wisc.edu
     
  • Brian Rice (advisor: Lempp)
    @math.wisc.edu">bricemath.wisc.edu
     
  • Kyle Riggs (advisors: Larry Moss (Indiana University-Bloomington) and Lempp)
    @indiana.edu">kwriggsindiana.edu
     
  • Paul Tveite
    @math.wisc.edu">tveitemath.wisc.edu
     

Southern Wisconsin Logic Seminar

We meet roughly every Tuesday afternoon at 3:30 p.m. or 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 will continue this fall on Wednesdays at 3:30 without fixed topic, but 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.

UW logic theses since 1990 (many on line)

Related Links

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