Program

Faculty

Events

Courses

Alumni

FAQ

Faculty

• 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
  Associate Professor of Philosophy
  modal logic, game theory, decision theory, formal epistemology
   
• Francesca Zaffora Blando
  Assistant Professor of Philosophy
   
• Stephen Brookes
  Professor of Computer Science
  mathematical semantics of programming languages
   
• Clinton Conley
  Associate Professor of Mathematical Sciences
  descriptive set theory
   
• James Cummings
  Professor of Mathematical Sciences
  mathematical logic, set theory
   
• B. R. George
  Assistant Professor of Philosophy
  semantics and pragmatics of natural language, applications of logic to linguistics
   
• 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
  Associate Professor of Computer Science
  programming languages, type theory, software verification, and resource analysis
   
• Greggo Johnson
  Associate 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
  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
   
• 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
   
• Kun Zhang
  Associate Professor of Philosophy
  causal inference, latent variable modeling
   
• Kevin Zollman
  Professor of Philosophy and Social and Decision Sciences
  game theory, agent based modeling, and philosophy of science

Emeriti

• Peter Andrews
  Professor of Mathematics (Emeritus)
  mathematical logic, automated theorem proving, type theory
   
• Lenore Blum
  Distinguished Career Professor of Computer Science (Emeritus)
  computational complexity, real computation, conscious AI
   
• Clark Glymour
  Alumni University Professor of Philosophy (Emeritus)
  philosophy of science, causal modeling, cognitive science, machine learning
   
• 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
   

In memoriam

• Edmund Clarke
  FORE Systems Professor of Computer Science and Professor of Electrical and Computer Engineering (Emeritus)
  automatic verification of computer hardware and software
   

Postdoctoral and visiting faculty

• Mathieu Anel
  Senior Researcher, Department of Philosophy
  homotopy type theory, category theory
   
• Mario Carneiro
  Postdoctoral Research Fellow, Hoskinson Center
  formal mathematics and interactive theorem proving
   
• Gabriel Ebner
  Postdoctoral Fellow, Department of Philosophy
  proof theory, interactive and automated theorem proving
   
• Jonas Frey
  Special Faculty, Department of Philosophy
  homotopy type theory, category theory
   
• Colin Jahel
  Postdoctoral Associate, Department of Mathematical Sciences
  dynamics, probability, model theory, set theory
   
• Krzysztof Mierzewski
  Postdoctoral Fellow, Department of Philosophy
  logic, as well as its connections to probability theory
   
• Aristotelis Panagiotopoulos
  Postdoctoral Associate, Department of Mathematical Sciences
  descriptive set theory, dynamics of large topological groups, algebraic topology, analysis, combinatorics
   
• Benjamin Siskind
  Postdoctoral Associate, Department of Mathematical Sciences
  inner model theory, descriptive set theory, computability theory
   
• Andrew Swan
  Postdoctoral Researcher, Department of Philosophy
  homotopy type theory, category theory
   
• Riley Thornton
  National Science Foundation Mathematical Sciences Research Fellow, Department of Mathematical Sciences
  descriptive set theory