Carnegie Mellon University

Ph.D. Alumni

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

2017

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, Department of Philosophy, Carnegie Mellon University
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

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

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

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
Postdoctoral Researcher, MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
Date of degree: December 2012
Advisors: Edmund M. Clarke and Jeremy Avigad
First position: Postdoctoral Researcher, Computer Science Department, CMU

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

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