Logic Group

Faculty

  • Uri Andrews
    Research: Model Theory, Computability Theory, Computable Model Theory
    andrews@math.wisc.edu
  • Steffen Lempp
    Research: Computability Theory and Its Applications to Model Theory, Algebra, Proof Theory, and Computer Science
    lempp@math.wisc.edu
  • Joseph S. Miller
    Research: Computability Theory: Algorithmic Randomness, Reverse Mathematics, and Effective mathematics (primarily computable analysis and topology)
    jmiller@math.wisc.edu
  • Mariya Soskova
    Research: Computability Theory with Emphasis on Degree Theory and First Order Definability
    msoskova@math.wisc.edu

    Emeritus Faculty

  • H. Jerome Keisler
    Research: Model Theory and Nonstandard Analysis
    keisler@math.wisc.edu
  • Kenneth Kunen
    Research: Set Theory, General Topology, Algebra
    kunen@math.wisc.edu
  • Arnold W. Miller
    Research: Set Theory of the Real Line
    miller@math.wisc.edu

    Postdoctoral Fellow

  • Omer Mermelstein
    Research: Model Theory and in particular ab initio Hrushovski constructions, their reducts and their associated combinatorial geometries
    omer@math.wisc.edu
  • Noah Schweber
    Research: Computability Theory (including reverse mathematics and computable structure theory) and set theory
    schweber@wisc.edu

    Related Faculty

  • Jin-Yi Cai
    Research: Complexity theory of Counting Problems: Classification Program for Partition Functions of Graph Homomorphisms, Spin Systems, Counting Constraint Satisfaction Problems, and Holant Problems
    jyc@cs.wisc.edu
  • Dieter van Melkebeek
    Research: Complexity Theory: Lower Bounds for NP-Complete Problems, Pseudorandomness and Derandomization, Quantum Computing
    dieter@cs.wisc.edu
  • Peter Vranas
    Research: Philosophical Logic Focusing on Imperative and Deontic Logic, also Moral Dilemmas, Time Travel, and the Implications of Situationist Psychology for Ethics
    vranas@wisc.edu

    Graduate Students

  • Tejas Bhojraj (advisor: J. Miller)
    bhojraj@math.wisc.edu
  • Wil Cocke (advisor: Isaacs)
    cocke@math.wisc.edu
  • James Hanson (advisor: Andrews)
    jehanson2@wisc.edu
  • Josiah Jacobsen-Grocott
    jacobsengroc@wisc.edu
  • Alex Mine
    mine2@wisc.edu
  • Patrick Nicodemus
    nicodemus@math.wisc.edu
  • Iván Ongay Valverde (advisor: Kunen)
    ongay@math.wisc.edu