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
