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
    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
    computational complexity, real computation
     
  • 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
    Assistant 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
     
  • Benjamin 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
     
  • 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
     
  • Mandy Simons
    Professor of Philosophy
    philosophy of language, formal semantics and pragmatics of natural language
     
  • 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

  • Joseph Zielinski
    Zeev Nehari Visiting Assistant Professor
    descriptive set theory