Faculty

  • Peter Andrews
    Professor of Mathematics (Emeritus)
    mathematical logic, automated theorem proving, type theory
     
  • Jeremy Avigad
    Professor of Philosophy and Mathematical Sciences
    mathematical logic, interactive theorem proving, history and philosophy of mathematics
     
  • Steve Awodey
    Professor of Philosophy and Mathematical Sciences
    category theory, logic, homotopy type theory, history and philosophy of logic
     
  • Adam Bjorndahl
    Assistant Professor of Philosophy
    modal logic, game theory, decision theory, formal epistemology
     
  • Lenore Blum
    Distinguished Career Professor of Computer Science, Emeritus
    computational complexity, real computation, conscious AI
     
  • Stephen Brookes
    Professor of Computer Science
    mathematical semantics of programming languages
     
  • Edmund Clarke
    FORE Systems Professor of Computer Science and Professor of Electrical and Computer Engineering (Emeritus)
    automatic verification of computer hardware and software
     
  • Clinton Conley
    Associate Professor of Mathematical Sciences
    descriptive set theory
     
  • James Cummings
    Professor of Mathematical Sciences
    mathematical logic, set theory
     
  • David Danks
    L. L. Thurstone Professor of Philosophy and Psychology and Head, Department of Philosophy
    causal learning, cognitive science, philosophy of psychology, philosophy of science
     
  • B. R. George
    Assistant Professor of Philosophy
    semantics and pragmatics of natural language, applications of logic to linguistics
     
  • Clark Glymour
    Alumni University Professor of Philosophy
    philosophy of science, causal modeling, cognitive science, machine learning
     
  • Rami Grossberg
    Professor of Mathematical Sciences
    mathematical logic, model theory
     
  • Marijn Heule
    Associate Professor of Computer Science
    SAT solvers, combinatorics, formal verification
     
  • Robert Harper
    Professor of Computer Science
    type theory, logical frameworks, programming languages
     
  • Jan Hoffmann
    Assistant Professor of Computer Science
    programming languages, type theory, software verification, and resource analysis
     
  • Greggo Johnson
    Assistant Teaching Professor, Mathematical Sciences
    model theory
     
  • Kevin Kelly
    Professor of Philosophy
    epistemology, philosophy of science, learning theory, computability
     
  • Frank Pfenning
    Professor of Computer Science and Philosophy
    programming languages, logic and type theory, logical frameworks, automated deduction, trustworthy computing
     
  • André Platzer
    Associate Professor of Computer Science
    verification of hybrid systems, automated theorem proving, model checking
     
  • Richard Scheines
    Dean, Dietrich College of Humanities and Social Sciences, and Professor of Philosophy, Machine Learning, and Human Computer Interaction
    graphical and statistical causal inference, philosophy of social science, foundations of causation, educational technology
     
  • Ernest Schimmerling
    Professor of Mathematical Sciences
    mathematical logic, set theory
     
  • Dana Scott
    Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic (Emeritus)
    mathematical logic, model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation
     
  • Teddy Seidenfeld
    H.A. Simon Professor of Philosophy, Statistics, and Machine Learning
    foundations of statistics, decision theory
     
  • Wilfried Sieg
    Patrick Suppes Professor of Philosophy
    mathematical logic, proof theory, computability theory, history and philosophy of mathematics, automated proof search
     
  • Peter Spirtes
    Professor of Philosophy and Machine Learning
    graphical and statistical causal inference, causation in the social sciences, philosophy of physics
     
  • Richard Statman
    Professor of Computer Science and Mathematical Sciences
    mathematical logic, theory of computation, lambda calculus, combinatory logic
     
  • Jean Yang
    Assistant Professor of Computer Science
    programming languages and software verification
     
  • Kun Zhang
    Assistant Professor of Philosophy
    causal inference, latent variable modeling
     
  • Kevin Zollman
    Associate Professor of Philosophy
    game theory, agent based modeling, and philosophy of science

Postdoctoral and visiting faculty

  • Mathieu Anel
    Senior Researcher, Department of Philosophy
     
  • Dana Bartošová
    Visiting Assistant Professor, Department of Mathematical Sciences
    (visiting from University of Florida)
    Ramsey theory, topological dynamics, set theory, model theory, functional analysis, abstract harmonic analysis, continuum theory, general topology
     
  • Bruno Bentzen
    Postdoctoral Fellow, Department of Philosophy
    foundations of mathematics, logic, type theory
     
  • Anton Bernstein
    Postdoctoral Associate, Department of Mathematical Sciences
    combinatorics, descriptive set theory
     
  • Garrett Ervin
    Postdoctoral Associate, Department of Mathematical Sciences
    set theory, dynamics, universal algebra
     
  • Jonas Frey
    Postdoctoral Researcher, Department of Philosophy
     
  • Simon Hudon
    Postdoctoral Fellow, Department of Philosophy
    Formal verification, software design, reactive and concurrent systems
     
  • Assaf Shani
    Postdoctoral Associate, Department of Mathematical Sciences
    set theory
     
  • Andrew Swan
    Postdoctoral Researcher, Department of Philosophy