Alumni

The following links provide more information about our graduate programs:

PhD in Logic, Computation, and Methodology

  • Frederick Eberhardt
    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 Postdoc in Philosophy, University of California, Berkeley
    Current position: James S. McDonnell Postdoc in Philosophy, University of California, Berkeley
     
  • Giacomo Sillari
    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
    Current position: Postdoctoral Fellow, Program in Philosophy, Politics, and Economics, University of Pennsylvania
     
  • Jiji Zhang
    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, Department of Philosophy, California Institute of Technology
    Current position: Assistant Professor, Department of Philosophy, California Institute of Technology
     
  • John Mumma
    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
    Current position: Adjunct Lecturer, Department of Philosophy, Carnegie Mellon University
     
  • Dirk Schlimm
    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
    Current position: Faculty Lecturer, McGill University, Department of Philosophy
     
  • Tianjiao Chu
    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
    Current position: Assistant Professor, Department of Obstetrics, Gynecology & Reproductive Sciences, Magee Women's Research Institute, University of Pittsburgh School of Medicine
     
  • Jeffrey Helzner
    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, Department of Philosophy, Columbia University
    Current position: Assistant Professor, Department of Philosophy, Columbia University
     
  • Mark Ravaglia
    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
    Current position: faculty, Hawaiian Preparatory Academy
     
  • Jesse Hughes
    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 research position in CS at University of Nijmegen, Holland, then Lecturer at University of Eindhoven, Holland
     
  • 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
    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)
    Current position: Research Fellow, Department of Computer Science, University of Edinburgh
     
  • John Byrnes
    Thesis: Proof search and normal forms in natural deduction
    Date of degree: May, 1999
    Advisor: Wilfried Sieg
    MS thesis: Notions of Computation (May, 1993)
    First position: Research Associate, Laboratory for Symbolic and Educational Computing, Department of Phlosophy, Carnegie Mellon University; then Research Scientist, Kromos Technology
    Current position: Lead Scientist, Fair Isaac Corporation
     
  • Oliver Schulte
    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, Department of Philosophy, University of Alberta
    Current position: Associate Professor, School of Computer Science and Department of Philosophy, Simon Fraser University
     
  • Christopher Meek
    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: Researcher, Machine Learning and Applied Statistics, Microsoft Research
    Current position: Principal Researcher, Machine Learning and Applied Statistics, Microsoft Research
     
  • Thomas Richardson
    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, Department of Statistics, University of Washington
    Current position: Associate Professor, Department of Statistics, University of Washington
     

Φ Back to the top

MS in Logic and Computation

  • Tim Grinsell
  • Thesis: Russian Aspect without Traditional Aspectual Notions
    Date of degree: August, 2007
    Advisor: Mandy Simons
    First position: Law School, Duke University
     
  • Steve Kieffer
  • Thesis: A Language for Mathematical Knowledge Management
    Date of degree: August, 2007
    Advisor: Jeremy Avigad
    First position: PhD program in Mathematics, Simon Fraser University
     
  • William Nichols
  • Thesis: Causal Reasoning and Decision Making: An Empirical Approach
    Date of degree: August, 2007
    Advisor: David Danks
    First position:
     
  • Lindsay Spriggs
  • Thesis: A New Semantics for Belief in Security Protocols
    Date of degree: December, 2007
    Advisor: Horacio Arlo Costa
    First position: Research Scientist, MITRE Corporation
     
  • Tyler Gibson
  • Thesis: Proof Search in First-Order Logic With Equality
    Date of degree: Decmember, 2006
    Advisor: Wilfried Sieg
    First position: Research Associate, Laboratory of Symbolic and Educational Computing, Department of Philosophy, Carnegie Mellon University
     
  • Trevor Tompkins
  • Thesis: Efficient fuel, Tetra-ethyl Lead, and Lead Toxicity
    Date of degree: August, 2007
    Advisor: Clark Glymour
     
  • Kevin Jarrett
  • Thesis: Fine-Grained Selective Communication and the Hippocampus
    Date of degree: August, 2006
    Advisor: David Danks
    First position: PhD program, Computational Biology and Center for Neural Science, NYU
     
  • Mikel Negugogor
  • Thesis: The Constitutive Role of Reasons in Action
    Date of degree: August, 2006
    Advisor: Horacio Arlo Costa
    First position: PhD program in Philosophy, CUNY
     
  • Huichun (Joy) Zhu
  • Thesis: Effects of Category Application on Category Learning
    Date of degree: 2006
    Advisor: David Danks
    First position: PhD program in Psychology, Lehigh
     
  • Ramyaa
  • Thesis: Proof Search For Provability Logic
    Date of degree: August, 2005
    Advisor: Wilfried Sieg
    First position: PhD program in Computer Science, Indiana University
     
  • Jim Soto
  • Thesis: Poverty of Stimulus Arguments in Language Acquisition
    Date of degree: August, 2005
    Advisor: Mandy Simons
    First position: Professor of English and Philosophy, CCAC
     
  • David (Disco) Gerdes
  • Thesis: Command Structure Identification from Communication Logs
    Date of degree: 2005
    Advisor: Clark Glymour
    First position: Researcher, Oak Ridge National Laboratory
     
  • Nicholas Hoffman
  • Thesis: Preference Formation in Games of Complete and Incomplete Information
    Date of degree: May, 2005
    Advisor: Peter Vanderschraaf
    First position: US Navy
     
  • Carlos Fasola
  • Thesis: The Logical Form of Action Sentences with 'With'
    Date of degree: August, 2004
    Advisor: Mandy Simons
    First position: PhD program in Linguistics, Rutgers University
     
  • Joanna Tamburino
  • Thesis: Emotional Learning: How we Implicitly Learn to Feel
    Date of degree: August, 2004
    Advisor: David Danks
    First position: PhD program in Philosophy, University of Pennsylvania
     
  • Adam Kramer
  • Thesis: An Analysis of the Causes of Learning Outcomes in Online Education
    Date of degree: May, 2004
    Advisor: Richard Scheines
    First position: PhD program in Social & Personality Psychology, Oregon
     
  • Stephen Douglas White
  • Thesis: Axiomatics, Methodology, and Dedekind's Theory of Ideals
    Date of degree: May, 2004
    Advisor: Jeremy Avigad
    First position: Project Director, Northwest Tribal Registry
     
  • Jessi Berkelhammer
  • Thesis: From Reducibility to Extensionality: the Two Editions of Principia Mathematica
    Date of degree: September, 2003
    Advisor: Jeremy Avigad
    First position: Researcher, Department of Computer Science, Universität des Saarlandes (Saarbrücken)
     
  • Keith Douglas
  • Thesis: Super-Turing Computation: A Case Study Analysis
    Date of degree: January, 2003
    Advisor: Wilfried Sieg
     
  • William Taysom
  • Thesis: Kratzer Semantics and Filters
    Date of degree: 2003
    Advisor: Horacio Arlo Costa
    First position: Researcher, Institute for Human and Machine Cognition
     
  • Orlin Vakarelov
  • Thesis: Accessible Domains from a Category Theoretic Perspective
    Date of degree: 2003
    Advisor: Wilfried Sieg
    First position: PhD program in Philosophy, University of Arizona
     
  • Sarah Eisenhart
  • Thesis: Implementing the Model Generation Calculus: Predicted Interpretations and Actual Intuition
    Date of degree: September, 2003
    Advisor: Mandy Simons
     
  • Erica Lucast
  • Thesis: A New Case for Proof in Mathematics Curricula
    Date of degree: December, 2002
    Advisor: Jeremy Avigad
    First position: PhD Program in Philosophy, University of Michigan
     
  • Dan Handley
  • Thesis: Evaluating Machine Learning Algorithms Used to Infer Gene Regulatory Network Structure
    Date of degree: November, 2002
    Advisors: Clark Glymour and Peter Spirtes
    First position: PhD program in Human Genetics, University of Pittsburgh
     
  • Shane Harwood
  • Thesis: Learning Causal Structure with Genetic Algorithms
    Date of degree: August, 2002
    Advisor: Richard Scheines
     
  • Shrisha Rao
  • Thesis: Consensus and Common Knowledge
    Date of degree: May, 2002
    Advisor: Horacio Arlo Costa
    First position: PhD program in Computer Science, University of Iowa
     
  • Davin Lafon
  • Thesis: The Structure of Metaspaces: Emprical Evidence from Logic Tasks
    Date of degree: May, 2001
    Advisor: Herbert Simon and Richard Scheines
    First position: Research Associate, Laboratory of Symbolic and Educational Computing, Department of Philosophy, Carnegie Mellon University
     
  • Nicola DePisapia
  • Thesis: Gandy Machines: An Abstract Model of Parallel Computation for Turing Machines, the Game of Life, and Artificial Neural Networks
    Date of degree: August, 1999
    Advisor: Wilfried Sieg
    First position: PhD program in Neuroscience, University of Edinburgh
     
  • Hyunchul Kim
  • Thesis: Global Pattern Matching for Cognitively Faithful Proof Generation by an Automated Theorem Prover
    Date of degree: August, 1999
    Advisor: Herbert Simon
     
  • Lillian Lovich
  • Thesis: Chinese Rooms, Robots, and Understanding
    Date of degree: August, 1999
    Advisor: Teddy Seidenfeld
     
  • Mark Shipman
  • Thesis: An Optimization to the Naïve Classifier for Text Documents
    Date of degree: May, 1999
    Advisor: Teddy Seidenfeld
     
  • Colleen Baker
  • Thesis: Cooperation as the Norm: Social Dilemmas and the Role of Social Norms in Promoting Cooperation
    Date of degree: August, 1998
    Advisor: Cristina Bicchieri
     
  • Kevin Grobman
  • Thesis:
    Date of degree: August, 1998
    Advisor:
     
  • Richard Romanowski
  • Thesis:
    Date of degree: December, 1997
    Advisor: Richard Scheines
     
  • Christian Skalka
  • Thesis: Some Decision Problems for ML
    Date of degree: May, 1997
    Advisor: Frank Pfenning
    First position: PhD program in Computer Science, Johns Hopkins
     
  • Susan Colvin
  • Thesis: Intelligent Machinery: Turing's Ideas and their Relation to the Work of Newell and Simon
    Date of degree: May, 1997
    Advisor: Wilfried Sieg
     
  • Gianluca Magnani
  • Thesis: Visual Representation and Scientific Discovery: The Historical Case of the Discovery of Electromagnetic Induction
    Date of degree: December, 1996
    Advisor: Herbert Simon
     
  • Martha Lacey
  • Thesis: Choice in Intransitive Contexts
    Date of degree: May, 1996
    Advisor: Teddy Seidenfeld
     
  • Jeffrey Schanding
  • Thesis:
    Date of degree: May, 1996
    Advisor:
     
  • Raymond Pelletier
  • Thesis: The Goal Driven Production System Tertl and its Abstract Machine
    Date of degree: December, 1995
    Advisor:
     
  • André Beskrowni
  • Thesis:
    Date of degree: May, 1995
    Advisor:
     
  • Stuart Eisenstadt
  • Thesis:
    Date of degree: May, 1995
    Advisor: Herbert Simon
     
  • Carsten Schürmann
  • Thesis: A Computational Metalogic for the Horn Fragment of LF
    Date of degree: May, 1995
    Advisor: Frank Pfenning
    First position: PhD program in Computer Science, Carnegie Mellon University
     
  • Timothy Herron
  • Thesis: A Commentary on the First Three Sections of Gaifman and Snir's 1982 JSL Paper Concerning Probabilities Defined on a First Order Empirical Language
    Date of degree: May, 1995
    Advisor: Teddy Seidenfeld
    First position: Research Scientist, Kromos Technology
     
  • Mario Chiari
  • Thesis: A Note on the Herbrand Analysis of Bounded Arithmetic
    Date of degree: May, 1993
    Advisor: Wilfried Sieg
     
  • Craig Lovell
  • Thesis: Goal-Directed Proof Search in the Sequent Calculus
    Date of degree: May, 1994
    Advisor: Wilfried Sieg
    First position: Mitre Corporation
     
  • Michael Mecca
  • Thesis: Tempo Following Behavior in Musical Accompaniment
    Date of degree: May, 1993
    Advisor:
     
  • Saverio Cittadini
  • Thesis: Intercalation Calculus for Intuitionistic Propositional Logic
    Date of degree: May, 1991
    Advisor: Wilfried Sieg
    First position: PhD program in Mathematics, University of Sienna
     

Φ Back to the top

MA in Philosophy

  • Chris Punj
    Thesis: Intellectual Property Rights and Access to Life Saving Medicines
    Date of degree: May, 2007
    Advisor: Alex London
     
  • Leslie Jumper
    Thesis: Where the Real World Ends and the Laboratory Begins: The Effects of Perceptions of Wage and Fortune on Decision-Making
    Date of degree: August, 2004
    Advisor: Cristina Bicchieri
     
  • Sarah Winter
    Thesis: Ethics of Less-Lethal Weaponry
    Date of degree: 2003
    Advisor: Preston Covey
    First position: US Military
     
  • Dan McLaughlin
    Thesis: Three Claims of Transformative Mediation
    Date of degree: May, 2002
    Advisor:
    First position: teaching in Yemin, and then Georgetown Law School
     
  • Andrew Thompson
    Thesis: Measure Twice, Cut Once: Process, Performance, and Risk in Workmanship
    Date of degree: May, 2000
    Advisor: Preston Covey
    First position: work in multimedia, and then high quality furniture design
     
  • Leigh Bregman
    Thesis: Cortical Localization and the Self, The Relation Between Nineteenth Century British Neurology and Psychology
    Date of degree: May, 1999
    Advisor: Clark Glymour
     
  • Norman Bier
    Thesis: The Role of Affect and Multimedia in Ethics Case Studies
    Date of degree: May, 1999
    Advisor:
     
  • William Wood
    Thesis: Where Narratives End
    Date of degree: May, 1996
    Advisor: David Carrier
    First position: CIA
     

Φ Back to the top

Overview Contact Information

Research

Research Areas Research Projects LSEC Ethics Center Tech Reports

Programs

Graduate Degrees Apply Online Undergraduate Degrees Courses Handbooks Related Programs

People

Faculty Staff Students Alumni

Events

Department Calendar Colloquia Lectures
Department of Philosophy
Baker Hall 135
Carnegie Mellon University
Pittsburgh, PA 15213-3890

412.268.8568 Office
412.268.1440 FAX

phil-info@
lists.andrew.cmu.edu