UW-Madison Logic Group

Faculty

  • Uri Andrews
    Research: Model Theory, Computability Theory, Computable Model Theory
    andrews@math.wisc.edu
  • Steffen Lempp (retiring in December 2024)
    Research: Computability Theory and Its Applications to Model Theory, Algebra, Proof Theory, and Computer Science
    lempp@math.wisc.edu
  • Joe 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

    Postdoctoral Fellows

  • Yayi Fu
    Research: Model theory
    fu38@wisc.edu
  • Isabella Scott (on leave at Victoria University of Wellington for 2024-25, starting at UW in fall 2025)
    Research: Computability and model theory of existentially closed groups
    iscott@uchicago.edu

    Recent Postdoctoral Fellows

  • Jun Le Goh (now at National University of Singapore)
    Research: Computability Theory
    gohjunle@nus.edu.sg
  • Manlio Valenti (now at Swansea University, Wales)
    Research: Computability Theory, Computable Analysis
    mvalenti2@wisc.edu

    Emeritus Faculty

  • Jerry Keisler
    Research: Model Theory and Nonstandard Analysis
    keisler@math.wisc.edu
  • Arnie Miller
    Research: Set Theory of the Real Line
    miller@math.wisc.edu

    In Memoriam

  • Ken Kunen (1943-2020)
    Research: Set Theory, General Topology, Algebra

    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
  • John Mackay
    Research: Philosophy of Language, Metaphysics, Philosophical Logic
    jmackay2@wisc.edu
  • Dieter van Melkebeek
    Research: Complexity Theory: Lower Bounds for NP-Complete Problems, Pseudorandomness and Derandomization, Quantum Computing
    dieter@cs.wisc.edu
  • Mike Titelbaum
    Research: Epistemology, Ethics, Metaethics, Philosophy of Science, Logic, Decision Theory, Political Philosophy
    titelbaum@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

  • Hannah Ashbach
    hashbach@wisc.edu
  • Sapir Ben-Shahar
    sbenshahar@wisc.edu
  • Alex Bonat
    bonat@wisc.edu
  • Lucas Duckworth
    ljduckworth@wisc.edu
  • Taeyoung Em
    tem@wisc.edu
  • Logan Heath (advisor: Andrews)
    laheath@wisc.edu
  • Ang Li (advisor: Miller)
    ali233@wisc.edu
  • Kanav Madhura
    madhura@wisc.edu
  • Antonio Nakid Cordero (advisor: Soskova)
    nakidcordero@wisc.edu
  • Karthik Ravishankar (advisor: Miller)
    kravishanka3@wisc.edu
  • John Spoerl (advisor: Andrews)
    john.spoerl@wisc.edu
  • Chiara Travesset
    travesset@wisc.edu
  • Hongyu Zhu (advisor: Andrews)
    hongyu.zhu@wisc.edu