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
