Logic

Faculty

  • 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
     
  • Mary Ellen Rudin
    Research: Set-theoretic Topology
    @math.wisc.edu">rudinmath.wisc.edu
     

Postdoctoral Fellows

  • Uri Andrews
    Research: Model Theory, Computability Theory, Computable Model Theory
    @math.wisc.edu">andrewsmath.wisc.edu
     
  • Mingzhong Cai
    Research: Computability Theory
    @math.wisc.edu">mcaimath.wisc.edu
     

Recent Postdoctoral Fellows

  • Keng Meng (Selwyn) Ng (now at Nanyang Technological University, Singapore)
    Research: Computability theory: Turing degrees, algorithmic randomness

Graduate Students

  • Kuanysh Abeshev (advisors: Serikzhan Badaev (Kazakh National University) and Lempp)
    @gmail.com">kuanqkgmail.com
     
  • Achilles Beros (advisor: A. Miller)
    @math.wisc.edu">aberosmath.wisc.edu
     
  • Kostas Beros (advisor: A. Miller)
    @math.wisc.edu">kberosmath.wisc.edu
     
  • Meng-Che ("Turbo") Ho
    @math.wisc.edu">homath.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 (advisors: Andrews and Lempp)
    @math.wisc.edu">makulunimath.wisc.edu
     
  • Andrea Medini (advisor: Kunen)
    @math.wisc.edu">medinimath.wisc.edu
     
  • Devon O'Rourke
    @math.wisc.edu">orourkemath.wisc.edu
     
  • Brian Rice (advisor: Lempp)
    @math.wisc.edu">bricemath.wisc.edu
     
  • Dan Rosendorf (advisor: Kunen)
    @math.wisc.edu">rosendormath.wisc.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)