Faculty

Core Faculty
Emeritus Faculty
Postdoctoral Fellows
Adjunct Faculty
Visiting Scholars

Core Faculty

Jeremy Avigad Baker Hall 135E
412.268.8149
avigad[at]cmu.edu
Professor of Philosophy and Mathematical Sciences
  • Mathematical Logic
  • Proof Theory
  • Automated Reasoning
  • History and Philosophy of Mathematics
Steve Awodey Baker Hall 135F
412.268.8947
awodey[at]cmu.edu
Professor
  • Category Theory
  • Logic
  • Philosophy of Mathematics
  • History of Logic and Analytic Philosophy
Adam Bjorndahl Baker Hall 155D
412.268.3917
abjorn[at]andrew.cmu.edu
Assistant Professor
  • Modal Logic
  • Game Theory & Decision Theory
  • Formal Epistemology
Robert Cavalier Baker Hall 148
412.268.7643
rc2z[at]andrew.cmu.edu
Teaching Professor
  • Ethics and Political Philosophy
  • History of Philosophy
  • Continental Philosophy
  • Interactive Media
David Danks (Department Head) Baker Hall 161D
412.268.8047
ddanks[at]cmu.edu
Professor of Philosophy and Psychology
Department Head
  • Causal learning (human and machine)
  • Cognitive Science
  • Philosophy of Psychology
  • Philosophy of Science
  • Bounded Rationality
  • Decision-making
B. R. George Baker Hall 135H
412.268.8568
brgeorge[at]andrew.cmu.edu
Assistant Professor
  • Semantics and pragmatics of natural language
  • Applications of formal logic in linguistic theory
  • Philosophy of language and linguistics
Clark Glymour Baker Hall 135L
412.268.2933
cg09[at]andrew.cmu.edu
Alumni University Professor
  • Philosophy of Science
  • Causal Modeling
  • Cognitive Science
  • Machine Learning
  • Automated Genomics
Mara Harrell Baker Hall 161G
412.268.8152
mharrell[at]cmu.edu
Associate Teaching Professor
  • Philosophy of Physics
  • Philosophy of Science
  • Epistemology
  • Environmental Ethics
Kevin Kelly Baker Hall 135K
412.268.8567
kk3n[at]andrew.cmu.edu
Professor
  • Epistemology
  • Philosophy of Science
  • Learning Theory
  • Computability
Alex John London Baker Hall 150A
412.268.4938
ajlondon[at]andrew.cmu.edu
Professor
  • Bioethics
  • Ethical Theory
  • Ancient Philosophy
Joseph Ramsey Baker Hall 143
412.268.8063
jdramsey[at]andrew.cmu.edu
Director of Research Computing
  • Computational Causal Inference
  • Automatic Proof Search
  • Automated Genomics
  • Online Courseware
Richard Scheines (Dean, Dietrich College of Humanities & Social Sciences) Baker Hall 154
412.268.2831
scheines[at]cmu.edu
Professor of Philosophy, Machine Learning Department, and HCII
  • Graphical and Statistical Causal Inference
  • Philosophy of Social Science
  • Foundations of Causation
  • Educational Technology & Online Courses
Teddy Seidenfeld Baker Hall 135J
412.268.2209
teddy[at]stat.cmu.edu
Herbert A. Simon Professor of Philosophy and Statistics
  • Foundations of Statistics
  • Probability Theory
  • Decision Theory
Wilfried Sieg Baker Hall 135G
412.268.8565
sieg[at]cmu.edu
Patrick Suppes Professor of Philosophy
  • Proof Theory
  • Computability Theory
  • History & Philosophy of Mathematics (19th and 20th centuries)
Mandy Simons Baker Hall 155E
412.268.5083
simons[at]andrew.cmu.edu
Associate Professor
  • Philosophy of Language
  • Formal Semantics and Pragmatics of Natural Language
Joel Smith Baker Hall 161C
412.268.8946
joelms[at]cmu.edu
Distinguished Career Teaching Professor
  • Philosophy of Science
  • Technology for Education
Peter Spirtes Baker Hall 135D
412.268.8460
ps7z[at]andrew.cmu.edu
Professor
  • Graphical and Statistical Modeling of Causes
  • Causation in the Social Sciences
  • Philosophy of Physics
Tom Werner Baker Hall 155F
twerner[at]andrew.cmu.edu
412.268.3375
Director of Linguistics Major
Kevin Zollman Baker Hall 161E
412.268.8493
kzollman[at]andrew.cmu.edu
Associate Professor
Director of Graduate Studies
  • Game Theory
  • Philosophy of Science
  • Philosophy of Biology

Φ Back to the top

Emeritus Faculty

Dana Scott
dana.scott[at]cs.cmu.edu
Hillman University Professor of Mathematical Logic, Computer Science and Philosophy
  • Model and Set Theory
  • Foundations of Logic and Mathematics
  • Symbolic Mathematical Computation

Φ Back to the top

Postdoctoral Fellows

Danielle Wenner Baker Hall 155C
412.268.8046
dwenner[at]andrew.cmu.edu
A.W. Mellon Postdoctoral Fellow
  • Social & Political Philosophy
  • Global Justice
  • Applied Ethics
Jennifer Zamzow Baker Hall 161B
412.268.8573
jzamzow@andrew.cmu.edu
Postdoctoral Fellow in Ethics and Cognition
  • Moral judgment and decision making
  • Ethical theory
  • Applied ethics

Adjunct Faculty

David Gray degray[at]qatar.cmu.edu
Assistant Teaching Professor of Philosophy at Carnegie Mellon Qatar
  • Political Philosophy
  • Ethical Theory
  • Decision Theory
Andy Norman Doherty Hall 4305
412.268.8490
anorman[at]cmu.edu
  • The Logic of Dialogue
  • Philosophy of Science
  • Questions, Learning & Wisdom
  • Argument Visualization
Frank Pfenning Wean Hall 8117
412.268.6343
fp[at]cs.cmu.edu
Professor of Computer Science
  • Logic and Programming Languages
  • Logical Frameworks
  • Type Theory
Wayne Wu Mellon Institute 115K
waynewu[at]andrew.cmu.edu
Associate Professor and Associate Director,
Center for the Neural Basis of Cognition
  • Philosophy of Mind
  • Philosophy of Cognitive Science
  • Perception and Agency
  • Explanation of Mental Disorders

Φ Back to the top

Visiting Scholars

Derrick Gray Doherty Hall 4304
derrickg[at]andrew.cmu.edu
Teaching Instructor
  • Social & Political Philosophy
  • Ethics
  • Philosophy of Mind
Leah Henderson leahh[at]andrew.cmu.edu
  • Philosophy of science
  • Epistemology
  • Philosophy of Physics
  • Philosophy of Biology
Cody Roux Baker Hall 152
412.268.8045
croux[at]andrew.cmu.edu
Visiting Assistant Professor
  • Type Theory
  • Rewriting
  • Termination
  • Automated Theorem Proving

Φ Back to the top