Carnegie Mellon University

Ph.D. Alumni

Graduates from the department have a long history of making a difference in many different disciplines.

2021

Farzaneh Derakhshan
Dissertation: Session-Typed Recursive Processes and Circular Proofs
Advisors: Frank Pfenning and Wilfried Sieg
Date of Degree: May 2021

Will Nalls
Dissertation: Endogenizing Epistemic Actions in Dynamic Epistemic Logic
Advisors: Adam Bjorndahl, Teddy Seidenfeld, Eric Pacuit (University of Maryland)
Date of Degree: August 2021

2020

Connor Robinson-Arnull
Dissertation: Endogenous Preferences, Welfare Economics, and the Social Contract
Advisors: Kevin Zollman and Teddy Seidenfeld
Date of Degree: May 2020

Isaac Davis
Dissertation: Learning a Theory of Mind
Advisors: David Danks and Kevin Zollman
Date of Degree: August 2020

2019

Aeyaz Kayani
Dissertation: Mathematical Structuralism in Philosophy of Science
Advisor: Wilfried Sieg
Date of Degree: December 2019

Patrick Walsh
Assistant Teaching Professor of Philosophy, CMU-Qatar
Dissertation: Categorical Characterization of Accessible Domains
Advisor: Wilfried Sieg
Date of Degree: May 2019
First position: Assistant Teaching Professor of Philosophy, CMU-Qatar

2018

Liam Bright
Assistant Professor, Department of Philosophy, Logic, and Scientific Method, London School of Economics
Dissertation: Choosing Questions
Advisor: Kevin Zollman
Date of Degree: August 2018
First position: Assistant Professor, Department of Philosophy, Logic, and Scientific Method, London School of Economics

Konstantin Genin
Postdoctoral Fellow, Department of Philosophy, University of Toronto
Dissertation: The Topology of Statistical Inquiry
Advisor: Kevin Kelly
Date of Degree: August 2018
First position: Postdoctoral Fellow, Department of Philosophy, University of Toronto

Aidan Kestigian
Program Manager for the Metric Geometry & Gerrymandering Group and the Science, Technology, and Society Program, Tufts University
Dissertation: Democratic Voting and the Common Good
Advisor: Danielle Wenner
Date of Degree: August 2018
First position: Program Manager for the Metric Geometry & Gerrymandering Group and the Science, Technology, and Society Program, Tufts University

Robert Lewis
Postdoctoral Fellow, Department of Theoretical Computer Science, Vrije Universiteit Amsterdam
Dissertation: Two Tools for Formalizing Mathematical Proofs
Advisor: Jeremy Avigad
Date of Degree: August 2018
First position: Postdoctoral Fellow, Department of Theoretical Computer Science, Vrije Universiteit Amsterdam

Egbert Rijke
Postdoctoral Fellow, Department of Mathematics, University of Illinois at Urbana-Champaign
Dissertation: Classifying Types
Advisor: Steve Awodey
Date of Degree: August 2018
First position: Postdoctoral Fellow, Department of Mathematics, University of Illinois at Urbana-Champaign

Ruben Sanchez-Romero
Postdoctoral Fellow, Center for Molecular and Behavioral Neuroscience, Rutgers University

Dissertation: Statistical Search for Cyclic Functional Connectivity in the Brain
Advisor: Clark Glymour
Date of Degree: August 2018
First position: Postdoctoral Fellow, Center for Molecular and Behavioral Neuroscience, Rutgers University

Floris Van Doorn
Postdoctoral Associate, Department of Mathematics, University of Pittsburgh
Dissertation: On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory
Advisor: Jeremy Avigad
Date of Degree: May 2018
First position: Postdoctoral Associate, Department of Mathematics, University of Pittsburgh

2017

Daniel Malinsky
Postdoctoral Fellow, Department of Computer Science, Johns Hopkins University
Dissertation: Data-driven causal modeling for policy
Advisors: Peter Spirtes, Clark Glymour, and David Danks
Date of Degree: December 2017
First position: Postdoctoral Fellow, Department of Computer Science, Johns Hopkins University
Dan Malinsky is now an Assistant Professor of Biostatistics at Columbia

Lizzie Silver
Postdoctoral Fellow in Deliberation Analytics, School of Historical and Philosophical Studies (SHAPS) at the University of Melbourne
Dissertation: "Transfer learning for large causal graphical models, applied to genetic regulatory networks”
Advisors: David Danks and Peter Spirtes
Date of Degree: December 2017
First position: Postdoctoral Fellow in Deliberation Analytics, School of Historical and Philosophical Studies (SHAPS) at the University of Melbourne

Mate Szabo
Postdoctoral Fellow, ANR/DFG-project FFIUM, University of Lorraine; University Paris 1

Dissertation: Human and Machine Computation.  An Exploration
Advisor: Wilfried Sieg
Date of Degree: August 2017
First position: Postdoctoral Fellow, Department of Philosophy, Carnegie Mellon University

Adam Brodie
Analyst, Research and Development, Houston Astros
Dissertation: Latent Variable Causal Discovery with Rank Constraints
Advisor: Peter Spirtes
Date of Degree: August 2017
First position: Analyst, Research and Development, Houston Astros

2016

Remco Heesen
Leverhulme Early Career Fellowship, Philosophy Department, University of Cambridge

Dissertation: To Expedite the Flow of Knowledge
Advisor: Kevin Zollman
Date of Degree: May 2016
First position: Leverhulme Early Career Fellowship, Philosophy Department, University of Cambridge
Remco Heesen is now an Assistant Professor of Philosophy at University of Western Australia

Liping Tang
Assistant Research Professor of Philosophy, Sun Yat-Sen University, Guangzhou, China

Dissertation: Less is More: Information, Signals and Communication
Advisor: Teddy Seidenfeld
Date of Degree: May 2016
First position: Assistant Research Professor of Philosophy, Sun Yat-Sen University, Guangzhou, China

Renjie Yang
Dissertation: Search for Causal Models with Latent Variables
Date of degree: August 2016
Advisor: Peter Spirtes

2015

Patricia Rich
Postdoctoral Fellow at the University of Hamburg
Dissertation: Rationality in Context: Practical Guidance Through a Hybrid Approach
Date of degree: May 2015
First position: Postdoctoral Scholar, University of Bristol
Patricia Rich is now a Junior Professor of Philosophy of Economics at the University of Bayreuth

Erich Kummerfeld
Research Assistant Professor, Institute for Health Informatics, University of Minnesota

Dissertation title: Theoretical Entities: Their Discovery and Justification
Date of Degree: May 2015
Advisor: Peter Spirtes
First position: Postdoctoral Scholar, Department of Biomedical Informatics, University of Pittsburgh

Hailin Liu
Assistant Research Professor, Sun Yat-sen University, Guangzhou, China

Dissertation title: Integrating Game Theory and Modeling Uncertainty Using Imprecise Probabilities
Date of Degree: April 2015
Advisor: Teddy Seidenfeld
First position: Assistant Research Professor, Sun Yat-sen University, Guangzhou, China

Rebecca Morris
Dissertation title: Appropriate Steps: A Theory of Motivated Proofs
Date of Degree: August 2015
Advisor: Jeremy Avigad
First position: Suppes Postdoctoral Scholar in History and Philosophy of Science, Stanford University

Sarah Wellen
UX Designer, aetnahealth

Dissertation Title: The influence of practical goals on learning:  A theoretical and empirical study
Date of Degree: June 2015
Advisor: David Danks
First position: UX Designer, aetnahealth

2013

Spencer Breiner
NRC Postdoctoral Researcher, National Institute of Standards and Technology
Thesis: Scheme representation for first-order logic
Date of degree: December 2013
Advisor: Steve Awodey
First position: Instructor, Philosophy Department, CMU

Hanti Lin
Assistant Professor of Philosophy, UC Davis

Thesis: Propositional Reasoning that Tracks Probabilistic Reasoning
Date of degree: December 2013
Advisor: Kevin Kelly
First position: Postdoctoral Researcher, Australia National University

Stephen Fanscali
Research Scientist, Carnegie Learning
Thesis: Constructing Variables that Support Causal Inference
Date of degree: May 2013
Advisors: David Danks & Richard Scheines
First position: Research Scientist, Carnegie Learning

2012

Sicun Gao
Assistant Professor, Computer Science and Engineering, University of California, San Diego
Date of degree: December 2012
Advisors: Edmund M. Clarke and Jeremy Avigad
First positions: Postdoctoral Researcher, Computer Science Department, CMU; Postdoctoral Researcher, MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)

Arthur Paul Pedersen
Research Scientist at the University of Regensburg
Thesis: Archimedes Wake
Date of degree: December 2012
Advisors: Teddy Seidenfeld and Kevin Zollman
First position: Postdoctoral Researcher, Center for Adaptive Rationality, Max Planck Institute for Human Development, Berlin, Germany
Arthur Paul Pedersen is a Research Scientist in The Graduate Center, CUNY

Conor Mayo-Wilson
Assistant Professor of Philosophy, University of Washington
Thesis: Combining Causal Theories and Dividing Scientific Labor
Date of degree: August 2012
Advisor: David Danks
First position: Assistant Professor, Munich Center for Mathematical Philosophy, Ludwig Maximilian University of Munich, Germany

Ruth Poproski
Faculty Development Specialist, Center for the Enhancement of Teaching and Learning, Georgia Tech
Thesis: Modelling Conversation: The Role of Common Interest, Speaker Competence and Relevance in Gricean Pragmatics
Date of degree: August 2012
Advisors: Mandy Simons and Kevin Zollman
First position: Research Associate and Assistant Coordinator of Graduate Programs, Eberly Center for Teaching Excellence, CMU

2011

Rob Tillman
Quantitative Researcher, Blander Technologies
Thesis: Learning Probabilistic Graphical Models from Complex and Heterogeneous Sources
Date of degree: May 2011
Advisor: Peter Spirtes
First position: Quantitative Researcher, Rotella Capital Management

2010

Benjamin Jantzen
Assistant Professor, Virginia Tech

Thesis: How Symmetry Undid the Particle: A Demonstration of the Incompatibility of Particle Interpretations and Permutation Invariance
Date of degree: December 2010
Advisor: Mara Harrell
First position: Assistant Professor of Philosophy, Virginia Tech

David Gray
Assistant Teaching Professor of Philosophy, CMU-Qatar
Thesis: Republics of Commitments: Pluralism from the Individual to the Liberal State
Date of degree: August 2010
Advisor: Alex London
First position: Assistant Teaching Professor of Philosophy, CMU-Qatar

2008

Yimu Yun
Postdoctoral Researcher in Mathematics, University Pierre and Marie Curie
Thesis: Sets, models, and valued fields
Date of degree: August 2008
Advisor: Jeremy Avigad
First position: Assistant Professor of Mathematics, University of Pittsburgh

Michael Warren
Fields Institute Postdoc, University of Ottawa
Thesis: Homotopy theoretic aspects of constructive type theory
Date of degree: August 2008
Advisor: Steve Awodey
First position: Fields Institute Postdoctoral Position, Department of Mathematics, University of Ottawa

Henrik Forssell
Research Fellow, Department of Informatics, University of Oslo
Thesis: First-Order Logical Duality
Date of degree: February 2008
Advisors: Steve Awodey
First position: Postdoctoral Fellow, Eduard Cech Center for Mathematical Research, Brno, Czech Republic

2007

Frederick Eberhardt
Professor of Philosophy, California Institute of Technology
Thesis: Causation and Intervention
Date of degree: August 2007
Advisors: Richard Scheines and Clark Glymour
MS thesis: Experimental Complexity in Causal Discovery (Masters in Knowledge Discovery and Datamining in the Machine Learning Department, September, 2005)
First position: James S. McDonnell Postdoctoral Position, Institute of Cognitive and Brain Sciences, University of California, Berkeley
Second position: Assistant Professor of Philosophy, Washington University in St. Louis

Giacomo Sillari, Assistant Professor of Political Science, LUISS University
Thesis: Convention, Awareness and Games
Date of degree: August 2007
Advisors: Cristina Bicchieri and Horacio Arlo Costa
MS thesis: Philosophical and Logical Aspects of Interactive Epistemology (December 2002)
First position: Postdoctoral Fellow, Program in Philosophy, Politics, and Economics, University of Pennsylvania
Second position: Postdoctoral Researcher in Philosophy, Scuola Normale Superiore, Pisa, Italy

2006

Jiji Zhang
Associate Professor of Philosophy, Lingnan University, Hong Kong
Thesis: Causal inference and reasoning in causally insufficient systems
Date of degree: August 2006
Advisors: Peter Spirtes and Clark Glymour
MS thesis: Consistency in Causal Inference Under a Variety of Assumptions (December, 2002)
First position: Assistant Professor of Philosophy, California Institute of Technology

John Mumma
Assistant Professor of Philosophy, Cal State San Bernardino
Thesis: Intuition formalized: ancient and modern methods of proof in elementary geometry
Date of degree: May 2006
Advisor: Dana Scott
MS thesis: Three Modern Axiomatizations of the Euclidean Plane (May 2002)
First position: Adjunct Lecturer, Department of Philosophy, Carnegie Mellon University
Second position: Postdoctoral Research Fellow, Philosophy, Stanford University

2005

Dirk Schlimm
Assistant Professor of Philosophy, McGill University
Thesis: Axiomatics as engine for driving discovery in mathematics and science
Date of degree: May 2005
Advisor: Clark Glymour
MS thesis: Richard Dedekind: Axiomatic Foundations of Mathematics (December, 1999, advisor: Wilfried Sieg)
First position: Course Lecturer, McGill University, Department of Philosophy

2003

Tianjiao Chu
Assistant Professor of Obstetrics, Gynecology & Reproductive Sciences,
University of Pittsburgh School of Medicine

Thesis: Learning from SAGE data
Date of degree: May 2003
Advisors: Peter Spirtes and Clark Glymour
First position: Researcher, Institute for Human and Machine Cognition

Jeffrey Helzner
Head of Behavioral & Decision Science Team, AIG
Thesis: Relaxing ordering assumptions in additive conjoint measurement
Date of degree: May 2003
Advisor: Teddy Seidenfeld
MS thesis: A Categorical Approach to First Order Modal Logic (May 2001, advisor: Steve Awodey)
First position: Assistant Professor of Philosophy, Columbia University

Mark Ravaglia
Faculty, Hawaiian Preparatory Academy
Thesis: Explicating the finitist standpoint
Date of degree: May 2003
Advisor: Wilfried Sieg
MS thesis: Toward an Understanding of Hilbert and Bernay's Finitary Standpoint (May, 1997)
First position: Faculty, Hawaiian Preparatory Academy

2001

Jesse Hughes
Adjunct Professor of Philosophy, Bentley University
Thesis: A study of algebras and Coalgebras
Date of degree: May 2001
Advisors: Steve Awodey and Dana Scott
MS thesis: Gödel's Incompleteness Theorems in Two Fragments of Set Theory (May, 1996)
First position: Postdoctoral researcher in Computer Science, University of Nijmegen, Holland
Second position: Lecturer, University of Eindhoven, Holland

2000

Barbara Kauffmann
Thesis: Application of proof theory to computational complexity: comparison of different methods
Date of degree: December 2000
Advisor: Wilfried Sieg
MS thesis: Unification For Quantified Formulae (May, 1993)
First position: Adjunct Lecturer, Carnegie Mellon University, Department of Philosophy

Alberto Momigliano
Assistant Professor of Informatics, University of Milan
Thesis: Elimination of negation in a logical framework
Date of degree: December 2000
Advisor: Frank Pfenning
MS thesis: Some Remarks on Uniform Proofs and Constructive Negation (May, 1993)
First position: Research Fellow, Department of Computer Science, University of Edinburgh

1999

John Byrnes
Senior Computer Scientist, Stanford Research Institute
Thesis: Proof search and normal forms in natural deduction
Date of degree: May 1999
Advisor: Wilfried Sieg
MS thesis: Notions of Computation (May, 1993)
Positions held: Research Associate, Laboratory for Symbolic and Educational Computing, Department of Philosophy, CMU; Research Scientist, Kromos Technology; Lead Scientist, Fair Isaac Corporation

1997

Oliver Schulte
Associate Professor of Computer Science and Philosophy, Simon Fraser University
Thesis: Hard choices in scientific inquiry
Date of degree: August 1997
Advisor: Kevin Kelly
MS thesis: The Computable Testability of Uncomputable Theories (May, 1994)
First position: Assistant Professor of Philosophy, University of Alberta

1996

Christopher Meek
Principal Researcher, Microsoft Research
Thesis: Selecting graphical models: causal and statistical modeling
Date of degree: August 1996
Advisors: Peter Spirtes and Clark Glymour
MS thesis: Classifying and Updating with Bayesian Networks (May, 1993)
First position: Principal Researcher and Research Manager, Machine Learning and Applied Statistics, Microsoft Research

Thomas Richardson
Professor and Chair of Department of Statistics, University of Washington
Thesis: Feedback models: interpretation and discovery
Date of degree: August 1996
Advisors: Peter Spirtes and Clark Glymour
MS thesis: Feedback Models: Interpretation and Discovery (December, 1995)
First position: Assistant Professor of Statistics, University of Washington

1997
Deryle Lonsdale

1996
Ariel Cohen

1995
Alexander Franz

1993
Hideto Tomabechi

1992
Eric Nyberg

1991
Edward Gibson
Frederick Kazman