2023

María Alejandra Arciniegas Gómez
Dissertation: Reframing Privacy in the Digital Age: The Shift to Data Use Control
Advisor(s): Alex John London; David Danks
Date of Degree: Summer 2023

Wai Yin Lam
Dissertation: Causal Razors and Causal Search Algorithms
Advisor(s): Peter Spirtes, Joseph Ramsey
Date of Degree: August 2023
First position: Postdoctoral Researcher, Scientific Computing and Imaging Institute, University of Utah

Shuyan Wang
Dissertation: Nonlinearity, Feedback and Uniform Consistency in Causal Structural Learning
Advisor: Peter Spirtes
Date of Degree: Summer 2023
First position: Quantitative Strategist, Goldman Sachs

Colin Zwanziger
Dissertation: The Natural Display Topos of Coalgebras
Advisor: Steve Awodey
Date of Degree: August 2023
First position: Postdoc at the Institute of Philosophy, Czech Academy of Sciences

2022

Mario Carneiro
Dissertation: Metamath Zero: From Logic, to Proof Assistant, to Verified Computation
Advisor: Jeremy Avigad
Date of Degree: August 2022
First position: Postdoctoral Fellow, Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University

Biwei Huang
Dissertation: Learning and Using Causal Knowledge: A Further Step Towards a Higher-Level Intelligence
Advisors: Kun Zhang, Clark Glymour
Date of Degree: August 2022
First position: Assistant Professor, Halıcıoğlu Data Science Institute, University of California San Diego

Andrew Warren
Dissertation: Nonlocal Wasserstein Geometry: Metric and Asymptotic Properties
Advisor: Dejan Slepčev
Date of Degree: August 2022
First position: Postdoctoral Fellow, Department of Mathematics, University of British Columbia, Canada; and, Visiting Researcher, Institut des Hautes Études Scientifiques & Institut Henri Poincaré, France

2021

Farzaneh Derakhshan
Dissertation: Session-Typed Recursive Processes and Circular Proofs
Advisors: Frank Pfenning and Wilfried Sieg
Date of Degree: May 2021
First position: Postdoctoral fellow, Computer Science Department, Carnegie Mellon University

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
First position: Postdoc in Psychology, Yale University
Current position: Lecturer, Cognitive Science Program, Yale University

2019

Aeyaz Kayani
Dissertation: Mathematical Structuralism in Philosophy of Science
Advisor: Wilfried Sieg
Date of Degree: December 2019
First position: Assistant Professor, Integrated Sciences and Mathematics, Habib University

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
Current position: Eberly Center Teaching Consultant, Carnegie Mellon University

2018

Liam Bright
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
Current position: Associate Professor, Department of Philosophy, Logic, and Scientific Methodology, London School of Economics

Konstantin Genin
Dissertation: The Topology of Statistical Inquiry

Advisor: Kevin Kelly

Date of Degree: August 2018

First position: Postdoctoral Fellow, Department of Philosophy, University of Toronto
Current position: Leader of the research group “Epistemology and Ethics of Machine Learning” in the Cluster of Excellence – Machine Learning for Science, University of Tubingen

Aidan Kestigian
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
Current position: VP of Operations and Curriculum, ThinkerAnalytix

Robert Lewis
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
Current position: Lecturer, Department of Computer Science, Brown University

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

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
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
Current position: Postdoc, Department of Mathematics, University of Paris-Saclay

2017

Daniel Malinsky
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
Current position: Assistant Professor, Department of Biostatistics, Columbia University

Lizzie Silver
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
Current position: Senior Data Scientist at WSP Digital

Máté Szabó
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
Current position: Lecturer, School of Computing and Mathematical Sciences, University of Greenwich

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 Heseen
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
Current position: Assistant Professor, Department of Philosophy, Logic, and Scientific Methodology, London School of Economics

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
Dissertation: Learning Probabilistic Graphical Models from Complex and Heterogeneous Sources
Date of degree: May 2011
Advisor: Peter Spirtes
First position: Quantitative Researcher, Rotella Capital Management
Current position: Senior Director, Optum AI (UnitedHealth Group)

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