Carnegie Mellon University

M.S. in Logic, Computation, and Methodology Alumni

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

2016

Michael Bonin
Thesis: The Game Theory of Forecasting Tournaments
Date of Degree: August 2016
Advisor: Kevin Zollman

Juan Miguel Ogarrio
Thesis: Hybrid causal search in latent variable models
Date of Degree: August 2016
Advisor: Peter Sprites

Joseph McCool
Date of Degree: August 2016
Thesis Title: The Psychological Structure of “Outcomes” – Experienced Utility as a Multi-Attribute Function
Advisor: Teddy Seidenfeld

Brock Sennish
Date of Degree: May 2016
First position: Software Engineer at Digital Reasoning

Renjie Yang
Thesis: Search for Causal Models with Laten Variables
Date of Degree: August 2016
Advisor: Peter Sprites

Andrew Zipperer
Thesis: A formalization of elementary group theory in the proof assistant Lean
Date of Degree: July 2016
Advisor: Jeremy Avigad
First position: Inference Programmer and Ontological Engineer, Cycorp

2015

Nicholas Havrilla
Title:  Exploring Very Conservative Search Algorithms
Date of Degree: May 2015
Advisor:  Peter Spirtes

Aydin Mohseni
Title: The Limitations of Equilibrium Concepts in Evolutionary Game Theory
Date of Degree: August 2015
Advisor: Kevin Zollman
First position: Ph.D. Student in Logic and Philosophy of Science, University of California, Irvine 

Jason Parker
Title:  Duality between Cubes and Bipointed Sets
Date of Degree: May 2015
Advisor:  Steve Awodey 

2014

Alexander Murray-Watters
Title: The DM Algorithm:  A causal Search Algorithm for the Discovery of MIMIC  Models, with an Attempt to Recover a Protein Signaling Network from a High-Dimensional Ovarian Cancer Dataset
Date of Degree: August 2014
Advisor: Clark Glymour 

2013

Vincenza Berardo
Thesis: The Generalizing and Adjudicating Principles
Date of degree: August 2013
Advisor: Mara Harrell

Alexandra Drozd
Research Associate, Open Learning Initiative
Thesis: Online Instruction in Argument Diagramming
Date of degree: August 2013
Advisor: Mara Harrell
First position: Research Associate at the Open Learning Initiative, CMU

James Keller
Ph.D. Student in Philosophy, University of Illinois (Urbana)
Thesis: An Evaluation of the Dutch Book Arguments
Date of degree: August 2013
Advisors: Kevin Zollman and Teddy Seidenfeld
First position: PhD Student in Philosophy, University of Illinois (Urbana)

David Zornek
Actuarial Analyst, Allstate
Thesis: Concepts, Definitions, and Inheritance: Interpreting the atoms of lexical decomposition
Date of degree: December 2012
Advisors: Mandy Simons and David Danks
First position: Actuarial Analyst, Allstate

Osama Khan
Youth Development Fellow/Research Associate, Ministry of Planning, Govt. of Pakistan
Thesis: Rank - Dependent Utility as a theory of Rationality
Date of degree: May 2013
Advisors: Teddy Seidenfeld and Kevin Zollman
First position: Adjunct Faculty, Lahore University of Management Sciences (LUMS), Lahore, Pakistan

2012

Charles Barclay
Ph.D. Student, University of Maryland
Thesis: Attributing Causality
Date of degree: August 2012
Advisors: Peter Spirtes and Clark Glymour
First position: Ph.D. student in Philosophy, University of Maryland

Ruben Sanchez-Romero
PhD student in Logic, Computation & Methodology, CMU
Thesis: Formation of Variables for Brain Connectivity
Date of degree: August 2012
Advisors: Clark Glymour and Joseph Ramsey
First position: Research Associate, Department of Philosophy, CMU

Benjamin Witte
Witte Flooring, Beckum, Germany
Thesis: Three Essays on Social Norms
Date of degree: May 2012
Advisor: Kevin Zollman & Richard Scheines
First position: Witte Flooring, Beckum, Germany

Ivan Verano
Ph.D. Student in Philosophy, Indiana University (Bloomington)
Thesis: Three Essays on Knowledge, Logic and Decision
Date of degree: May 2012
Advisors: Clark Glymour and Richard Scheines
First position: Teaching Assistant, Department of Philosophy, CMU

2011

Patrick Beukema
Ph.D. Student, University of Pittsburgh
Thesis: Causal inference with a recurrent neural network
Date of degree: August 2011
Advisor: David Danks
First position: Ph.D. Student in Neuroscience, University of Pittsburgh

David Carper
Ph.D. Student, Yale University
Thesis: Categorical Approaches to Model Theory of Non-Elementary Classes
Date of degree: May 2011
Advisor: Steve Awodey
First position: Ph.D. Student in Classics, Yale University

Hans-Christoph Kotzsch
Ph.D. Student, Ludwig-Maximilians-University
Thesis: Modal Extensions of First-Order bi-Intuitionistic Logic in A Categorical Setting
Date of degree: May 2011
Advisors: Steve Awodey
First position: Ph.D. Student, Munich Center for Mathematical Philosophy, Ludwig-Maximilians-University

Erich Kummerfeld
Postdoctoral Scholar, Department of Biomedical Informatics, University of Pittsburgh
Thesis: Causal dynamism and causal epistemology: A tale of cars and fish
Date of degree: August 2011
Advisor: David Danks
First position: Ph.D. Student in Logic, Computation, & Methodology, CMU

David Rose
Ph.D. Student, Rutgers University
Thesis: Against the standard view of actual causation
Date of degree: August 2011
Advisor: David Danks
First position: Ph.D. Student in Philosophy, Rutgers University

Benjamin Northrop
Thesis: Automated Diagrammatic Reasoning
A proof checker for the language of E

Date of degree: May 2011
Advisor: Jeremy Avigad and Wilfried Sieg
First position: Distinguished Technical Consultant, Summa

2010

Karin Howe
Ph.D. Student, SUNY-Binghamton
Thesis: Scalar Implicature in the Antecedent of Conditionals
Date of degree: December 2010
Advisor: Mandy Simons
First position: Ph.D. Student in Philosophy, SUNY-Binghamton

Nathan Lubchenco
Data Scientist, Simple Energy
Thesis: Using Empirical Data of Kiva Microfinance Loans to Inform Principles of Distribution
Date of degree: December 2010
Advisor: Nicole Hassoun
First position: Research Assistant, University of Colorado

Reza Mahmoodshahi
Law Student
Thesis: Small Worlds and State Dependent Utility
Date of degree: December 2010
Advisor: Teddy Seidenfeld
First position: Law School

James Tremblay
English Teacher, South Korea
Thesis: On the Intricate Relationship Between Working Memory and Attention
Date of degree: August 2010
Advisor: Clark Glymour
First position: English Teacher, South Korea

2009

Mike Freenor
Senior Data Scientist, Distil Networks
Thesis: Scalar Implicature in Discourse Representation Theory
Date of degree: August 2009
Advisor: Mandy Simons
First position: Research Programmer, Department of Philosophy, Carnegie Mellon University

Alex Smith
Senior Content Strategist, HUGE Design Company
Thesis: Kernel, Cumulative and Safe Contractions
Date of degree: August 2009
Advisor: Horacio Arló-Costa
First position: Research Programmer, Department of Philosophy, Carnegie Mellon University
Second position: Developer, HUGE Design Company

Arthur Tu
Member, Board of Directors, LearnBop
Thesis: When What-If's Change the Way We Think: The Non-Uniform Effect of Statistical Frequency on Folk Judgment of Actual Causation
Date of degree: August 2009
Advisor: Peter Spirtes
First position: Research Assistant, Human-Computer Interaction Institute, CMU

Mark Whitehouse
Software Engineer, PlanAlchemy
Thesis: Brains and Edge Probabilities
Date of degree: August 2009
Advisor: Clark Glymour
First position: Research Assistant, President/Owner, NA Science

Daniel Malkiel
Data Analyst, Pittsburgh Public Schools
Thesis: Bandit Problems in Professional Sports
Date of degree: May 2009
Advisor: David Danks
First position: Intern, Baseball Prospectus

Savitar Sundaresan
Ph.D. student, Columbia University
Thesis: Blame it on My Equilibrium: Insurance Contact Valuation
Date of degree: May 2009
Advisor: Teddy Seidenfeld
First position: Trader, Life Finance Desk, Credit Suisse Life Finance Group
Second position: Ph.D. student, Columbia University

2008

Nick Radcliffe
Research Assistant, University of Houston
Thesis: On the Orbits of Finite State Transducers
Date of degree: August 2008
Advisor: Klaus Sutner
First position: Research Assistant in Computer Science, University of Houston

2007

Lindsay Spriggs
Research Scientist, MITRE Corporation
Thesis: A New Semantics for Belief in Security Protocols
Date of degree: December 2007
Advisor: Horacio Arló-Costa
First position: Research Scientist, MITRE Corporation

Tim Grinsell
Grad Student, University of Chicago
Thesis: Russian Aspect without Traditional Aspectual Notions
Date of degree: August 2007
Advisor: Mandy Simons
First position: Law Student, Duke University
Second position: Grad Student, University of Chicago

Steve Kieffer
Ph.D. Student, Monash University
Thesis: A Language for Mathematical Knowledge Management
Date of degree: August 2007
Advisor: Jeremy Avigad
First position: PhD Student in Mathematics, Simon Fraser University
Second position: PhD Student, Monash University

William Nichols
Operations Analyst, Office of Planning, FDA
Thesis: Causal Reasoning and Decision Making: An Empirical Approach
Date of degree: August 2007
Advisor: David Danks
First position: Analysis Practice Consultant, Management Concepts Inc.

Douglas Perkins
Thesis: Strategic Proof Tutoring in Logic
Date of degree: August 2007
Advisor: Wilfried Sieg
First position:

Trevor Tompkins
Thesis: Efficient fuel, Tetra-ethyl Lead, and Lead Toxicity
Date of degree: August 2007
Advisor: Clark Glymour
First position:

2006

Tyler Gibson
Research Associate, CMU
Thesis: Proof Search in First-Order Logic With Equality
Date of degree: December 2006
Advisor: Wilfried Sieg
First position: Research Associate, Laboratory of Symbolic and Educational Computing, Department of Philosophy, CMU

Kevin Jarrett
Data Scientist, Crowe Horwarth
Thesis: Fine-Grained Selective Communication and the Hippocampus
Date of degree: August 2006
Advisor: David Danks
First position: Ph.D. Student, Computational Biology and Center for Neural Science, NYU
Second position: Data Scientist, Crowe Horwarth

Mikel Negugogor
Assistant Professor, Brooklyn CUNY
Thesis: The Constitutive Role of Reasons in Action
Date of degree: August 2006
Advisor: Horacio Arló-Costa
First position: Ph.D. Student in Philosophy, CUNY

Huichun (Joy) Zhu
Ph.D. Student, Lehigh University
Thesis: Effects of Category Application on Category Learning
Date of degree: 2006
Advisor: David Danks
First position: Ph.D. Student in Psychology, Lehigh University

2005

Ramyaa
Postdoc Researcher, Ludwig-Maximilians Universitaat
Thesis: Proof Search For Provability Logic
Date of degree: August 2005
Advisor: Wilfried Sieg
First position: Ph.D. Student in Computer Science, Indiana University

Jim Soto
Associate Professor of Philosophy and English, St. Clair County Community College
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
Researcher, Oak Ridge National Laboratory
Thesis: Command Structure Identification from Communication Logs
Date of degree: 2005
Advisor: Clark Glymour
First position: Researcher, Oak Ridge National Laboratory

Nicholas Hoffman
US Navy
Thesis: Preference Formation in Games of Complete and Incomplete Information
Date of degree: May 2005
Advisor: Peter Vanderschraaf
First position: US Navy

2004

Carlos Fasola
Ph.D. Student, Rutgers University
Thesis: The Logical Form of Action Sentences with 'With'
Date of degree: August 2004
Advisor: Mandy Simons
First position: Ph.D. Student in Linguistics, Rutgers University

Joanna Tamburino
Thesis: Emotional Learning: How we Implicitly Learn to Feel
Date of degree: August 2004
Advisor: David Danks

Adam Kramer
Facebook Data Scientist
Thesis: An Analysis of the Causes of Learning Outcomes in Online Education
Date of degree: May 2004
Advisor: Richard Scheines
First position: Ph.D. Student in Social & Personality Psychology, University of Oregon
Second position: Facebook Data Scientist

Stephen Douglas White
Project Director, Northwest Tribal Registry
Thesis: Axiomatics, Methodology, and Dedekind's Theory of Ideals
Date of degree: May 2004
Advisor: Jeremy Avigad
First position: Project Director, Northwest Tribal Registry

2003

Jessi Berkelhammer
Researcher, Department of Computer Science, Universität des Saarlandes, (Saarbrücken)
Thesis: From Reducibility to Extensionality: the Two Editions of Principia Mathematica
Date of degree: September 2003
Advisor: Jeremy Avigad
First position: Researcher, Institute for Human and Machine Cognition

Keith Douglas
Logician, Systems Development Division, Statistics Canada
Thesis: Super-Turing Computation: A Case Study Analysis
Date of degree: January 2003
Advisor: Wilfried Sieg
First position: Logician, Systems Development Division, Statistics Canada

William Taysom
Researcher, Institute for Human and Machine Cognition
Thesis: Kratzer Semantics and Filters
Date of degree: 2003
Advisor: Horacio Arló-Costa
First position: Researcher, Institute for Human and Machine Cognition

Orlin Vakarelov
Assistant Professor, Duke University
Thesis: Accessible Domains from a Category Theoretic Perspective
Date of degree: 2003
Advisor: Wilfried Sieg
First position: Ph.D. Student in Philosophy, University of Arizona

Sarah Eisenhart
Criminal Defense Attorney; Contra Costa County Public Defender
Thesis: Implementing the Model Generation Calculus: Predicted Interpretations and Actual Intuition
Date of degree: September 2003
Advisor: Mandy Simons
First position: Criminal Defense Attorney; Contra Costa County Public Defender

2002

Erica Lucast Stonestreet
Professor, College of St. Benedict
Thesis: A New Case for Proof in Mathematics Curricula
Date of degree: December 2002
Advisor: Jeremy Avigad
First position: Ph.D. Student in Philosophy, University of Michigan

Dan Handley
Scientific Director, Clinical and Translational Genome Research Institute
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: Ph.D. Student in Human Genetics, University of Pittsburgh

Shane Harwood
Chief Operating Officer and Senior Engineer, Harwood Surveying PC
Thesis: Learning Causal Structure with Genetic Algorithms
Date of degree: August 2002
Advisor: Richard Scheines
First position: Chief Operating Officer and Senior Engineer, Harwood Surveying PC

Dawn McLaughlin
Researcher and Instructor, CMU
Thesis: Multiple Proposition Semantics
Date of degree: May 2002
Advisor: Mandy Simons
First position: Researcher and Instructor, CMU

Srisha Rao
Associate Professor, International Institute of Information Bangalore
Thesis: Consensus and Common Knowledge
Date of degree: May 2002
Advisor: Horacio Arló-Costa
First position: Ph.D. Student in Computer Science, University of Iowa

2001

Davin Lafon
Technical Advisor, BlueTree Capital Group
Thesis: The Structure of Metaspaces: Emprical Evidence from Logic Tasks
Date of degree: May 2001
Advisors: Herbert Simon and Richard Scheines
First position: Research Associate, Laboratory of Symbolic and Educational Computing, Department of Philosophy, CMU

1999

Nicola DePisapia
Chief Science Officer, Neocogita
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: Ph.D. Student in Neuroscience, University of Edinburgh
Second position: Associate Researcher, Department of Psychology, Washington University

Hyunchul Kim
Resonance and Reproduction, CEO
Thesis: Global Pattern Matching for Cognitively Faithful Proof Generation by an Automated Theorem Prover
Date of degree: August 1999
Advisor: Herbert Simon
First position: Resonance and Reproduction, CEO

Lillian Lovich
Owner, Good Egg Web Studio
Thesis: Chinese Rooms, Robots, and Understanding
Date of degree: August 1999
Advisor: Teddy Seidenfeld
First position: Owner, Good Egg Web Studio

Mark Shipman
Researcher/Instructor, CMU
Thesis: An Optimization to the Naïve Classifier for Text Documents
Date of degree: May 1999
Advisor:
First position: Researcher/Instructor, CMU

1998

Colleen Baker
Assistant Professor, Notre Dame
Thesis: Cooperation as the Norm: Social Dilemmas and the Role of Social Norms in Promoting Cooperation
Date of degree: August 1998
Advisor: Cristina Bicchieri
First position: Assistant Professor, Notre Dame

Kevin Grobman
Physics and Philosophy Teacher, St. Joseph's Academy
Thesis:
Date of degree: August 1998
Advisor:
First position: Physics and Philosophy Teacher, St. Joseph's Academy

1997

Richard Romanowski
Thesis:
Date of degree: December 1997
Advisor: Richard Scheines
First position:

Christina Skalka
Associate Professor, University of Vermont
Thesis: Some Decision Problems for ML
Date of degree: May 1997
Frank Pfenning
First position: Ph.D. program in Computer Science, Johns Hopkins University

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
First position:

1996

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
First position:

Martha Lacey
Thesis: Choice in Intransitive Contexts
Date of degree: May 1996
Advisor: Teddy Seidenfeld
First position:

Jefferey Schanding
Thesis:
Date of degree: May 1996
Advisor:
First position:

1995

Raymond Pelletier
Lead Developer, Wombat Security Technologies
Thesis: The Goal Driven Production System Tertl and its Abstract Machine
Date of degree: December 1995
Advisor:
First position: Lead Developer, Wombat Security Technologies

Andre Beskrowni
Senior Software Engineer, Spanning Cloud Apps
Thesis:
Date of degree: May 1995
Advisor:
First position: Senior Software Engineer, Spanning Cloud Apps

Stuart Adam Eisenstadt
CEO and Founder, Toona Technologies OÜ (Tartu, Estonia)
Thesis: Prologomena to a Theory of Intentionality for Physical Symbolic Systems
Date of degree: May 1995
Advisor: Herbert Simon
First position: Founder, Designer and Developer, Aquadevices

Carsten Schurman
Associate Professor, IT University of Copenhagen
Thesis: A Computational Metalogic for the Horn Fragment of LF
Date of degree: May 1995
Advisor: Frank Pfenning
First position: PhD Student in Computer Science, Carnegie Mellon University

Timothy Herron
Systems Analyst, US Veteran Affairs
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

1994

Craig Lovell
Director of Product Development, Primatics Financial, LLC
Thesis: Goal-Directed Proof Search in the Sequent Calculus
Date of degree: May 1994
Advisor: Wilfried Sieg
First position: Mitre Corporation

1993

Mario Chiari
Thesis: A Note on the Herbrand Analysis of Bounded Arithmetic
Date of degree: May 1993
Advisor: Wilfried Sieg
First position:

Michael Mecca
Thesis: Tempo Following Behavior in Musical Accompaniment
Date of degree: May 1993
Advisors: Roger B. Dannenberg and Herbert A. Simon
First position:

Saverio Cittadini
Ph.D. Student, University of Sienna
Thesis: Intercalation Calculus for Intuitionistic Propositional Logic
Date of degree: May 1991
Advisor: Wilfried Sieg
First position: PhD Student in Mathematics, University of Sienna