Students
I was Director of
Graduate Studies in Philosophy at Carnegie Mellon
from 2005 to 2009.
PhD students
- Jason Rute (Mathematical Sciences, current)
- Ed Dean (Philosophy, current, co-advising with
James Cummings)
MS thesis: In defense of Euclidean
proof, pdf.
- Sicun Gao (Philosophy, current, co-advising
with Ed Clarke)
MS thesis: Counting zeros over finite fields with Gröbner
bases, pdf.
- Yimu
Yin (PhD Philosophy, August 2008)
PhD thesis: Sets,
models, and valued fields, pdf.
MS thesis: Quantifier elimination and real closed ordered
fields with a predicate for the powers of two, pdf.
First
position: Assistant Professor, Department of Mathematics,
University of Pittsburgh.
- Henry Towsner (PhD Mathematical Sciences, June
2008)
Thesis: Some results in logic and ergodic
theory, pdf.
First position: Assistant Professor,
Department of Mathematics, University of California, Los Angeles;
and participant in the MSRI program in Ergodic Theory and Additive
Combinatorics.
- Kerry Ojakian (PhD Mathematical Sciences, June
2004)
Thesis: Combinatorics in bounded arithmetic, pdf.
First
position: Postdoctoral Fellow at Charles University, Prague, July
2004 to December 2004.
Current position: Postdoctoral Fellow
at the Center for Logic and Computation, Lisbon.
- Ksenija Simic-Muller (PhD Mathematical
Sciences, May 2004)
Thesis: Aspects of ergodic theory in
subsystems of second-order arithmetic, pdf.
First position: Postdoctoral Fellow,
Department of Mathematics, University of Arizona.
Current
position: Department of Mathematics, Pacific Lutheran University,
Tacoma.
MS students
- Spencer Breiner (PhD student in Philosophy; I am supervising his
MS thesis)
- Ben Northrop (Philosophy, current)
- Steve Kieffer (MS Philosophy, August, 2007)
Thesis: A
Language for Mathematical Knowledge Management, pdf (and a Powerpoint
presentation)
Currently a PhD student in Mathematics at
Simon Fraser University.
- Aaron Hertz (undergraduate honors MS program, Mathematical
Sciences, May 2004)
Thesis: A constructive version of the
Hilbert basis theorem, pdf.
Currently working for the US
Department of Defense.
- Doug White (MS Philosophy, May 2004)
Thesis: Axiomatics,
methodology, and Dedekind's theory of ideals, pdf.
Project
Director, Northwest Tribal Registry.
- Jessi Berkelhammer (MS Philosophy, September 2003)
Thesis:
From reducibility to extensionality: the two editions of
Principia Mathematica, pdf.
After graduating, held a research
position in CS at the Universität des Saarlandes in
Saarbrücken. Currently member of a web-development and
hosting cooperative, Eggplant Media.
- Erica Lucast (MS Philosophy, December 2002)
Thesis:
Proof as method: a new case for proof in mathematics
curricula, pdf.
After graduating, entered the PhD
program in Philosophy at the University of Michigan.
Undergraduate students
- Erin Korber (BS in Logic and Computation, May 2005)
Thesis:
Implementing decision procedures for the real numbers
After graduating, entered the PhD program in Logic and Methodology
at the University of California, Berkeley
Others
The following students have worked on my formal verification
project:
- David Gray (currently a PhD student in
Philosophy)
- Kevin
Donnelly (currently a PhD student in Computer Science at
Boston University)
- Paul Raff (currently a PhD student in Mathematics at Rutgers)
- Adam
Kramer (currently a PhD student in Psychology at the University
of Oregon)
I have served on the following PhD committees (in Philosophy,
unless otherwise noted):
- Sean McLaughlin (Computer Science, current)
- Jesse Alama (Stanford, 2009)
- Chetan Balwe (Mathematics, University of Pittsburgh, 2008)
- Amine Chaieb (Computer Science, Technische
Universität München, 2008)
- Henrik Forssell (2007)
- Jeremy Heis (Philosophy, University of Pittsburgh, 2007)
- Kaustuv Chaudhuri (Computer Science, 2006)
- Jyotsna Diwakdar (Mathematics, University of Pittsburgh, 2006)
- John Mumma (2006)
- Dirk Schlimm (2005)
- Mark Ravaglia (2003)
- John Krueger (Mathematical Sciences, 2003)
- Jesse Hughes (2001)
- Barbara Kauffmann (2000)
- Alberto Momigliano (2000)
- John Byrnes (1999)
I have served on the following MS committees (in Philosophy, unless
otherwise noted):
- Brian Leary (Mathematical Sciences, 2009)
- Nicholas Radcliffe (2008)
- Dave Gilbert (2008)
- Kohei Kishida (2007)
- George Schaeffer (Mathematical Sciences, 2007)
- Lindsay Spriggs (2007)
- Michael Warren (2004)
- Adam Kramer (2004)
- Keith Douglas (2004)
- Charlie Smart (Mathematical Sciences, 2002)
- John Mumma (2001)
- Jeffrey Helzner (2001)
- Johanna Franklin (Mathematical Sciences, 2001)
- Jay Kim (1999)
- Nathaniel Segerlind (Mathematical Sciences, 1998)
- Mark Ravaglia (1997)
- Chris Skalka (1997)
I was the director of the major in Logic and Computation in the
Department of Philosophy's major in Logic and Computation from 1997 to
2005. Here is a list of students who graduated during that period of
time, with the titles of their senior theses and their advisors:
- Sean Hammond,
Peirce and the Logic of Science (Teddy Seidenfeld), 2005
- Erin Korber, Implementing
Decision Procedures for the Real Numbers (Jeremy Avigad), 2005
- Lindsay Spriggs, Application of Logic to Computer
Security
(Benoit Morel), 2005
- Jonathan Terleski, Determining Music Similarity: A
Pragramatic Approach (Brigham Anderson), 2005
- Matt Danish, Compiler Development Aided by Code Certification
Techniques (Peter Lee), 2004
- William Drozd, Temporal Logic Based Planning for Large-Scale Search and Rescue Operations
(Manuela Veloso), 2004
- Ryan Eberhard, The Pedagogical Value of Database Theory to
Logic Educators (Helen Thomas), 2004
- Matthew Hockenberry, Reforming the Ancient Citizen: The
Synthesis of Distributed and Deliberative Democracies (Robert
Cavalier), 2004
- William Lao, Simplifying Data Representations for Temporal
Databases in Two Dimensions (Christopher Olston), 2004
- William Raul Salinas, Determining Collusion in
Negotiations (Teddy Seidenfeld), 2004
- Lee Salzman, Prototypes
with Multiple Dispatch (Jonathan Aldrich), 2004
- Quinten Steenhuis, The Deliberative Opinion Poll: Promises
and Challenges (Robert Cavalier), 2004
- Eric Castro, Internet
Sportsbetting and Incoherence (Teddy Seidenfeld), 2003
- Diana Holcomb,
Logic and Computation Robot (Wilfried Sieg), 2003.
- Charley Price, Evaluation of Interaction Schemes in Computer
Role-Playing Games (Don Marinelli), 2003
- Avi Silterra, New Semantics for the Simply Typed Lambda
Calculus (Steve Awodey), 2003
- Michael Strauss, The language of legal statutes and how it
affects principles of justice (Martha Harty), 2003
- Clinton Field, Automated Proofs of Gödel's Theorems
(Wilfried Sieg), 2002
- Evan Leonard, A Multi-Perspective Structure for Online
Discussion (Susan Fussell), 2002
- John Rinderle, Simulation: an open framework for game
theoretic simulation (Peter Vanderschraaf), 2002
- Andrew Tavares, Optimizing Human Evaluation of Dialogue
Translation Systems (Lori Levin), 2002
- James Yang, Designing an Adaptive Automotive Control System
to Optimize 4-stroke SI Engine Performance (Clark Glymour), 2002
- Charles Ballowe, Fully Anonymous Data Sharing (Gregory
Kesden), 2001
- John Corwin, Linear Logic Theorem Proving Using Artificial
Intelligence Planners (Frank Pfenning), 2001
- Adam Kramer, Modeling Human Choice (Kevin Kelly), 2001
- Stephen Opalenski, An Intuitionistic S5 (Steve Awodey), 2001
- Polina Vanyukov, Metaphor: Definition, Interpretation, and
Creation (Mandy Simons), 2001
- Jonathan Coleman, Musical Style Classification Through
Machine Learning (Roger Dannenberg), 2000
- John Gasper, Web agents: learning the right strategy
(Cristina Bicchieri and Horacio Arlo-Costa), 2000
- Laurel Margulis, Who's in Charge? An Evaluation of the
Experience of Human Emotions (Horacio Arlo-Costa), 2000
- Michele Banko, Resolving Sentence Ambiguity though Speech Act
Prediction (Lori Levin and Marsal Gavalda), 1999
- Bryan Dougherty, A User-Oriented Approach to Wrapper
Generation (Steve Minton), 1999
- Roland Reagan, Computer Music Generation via Decision Tree
Learning (Roger Dannenberg and Manuela Veloso), 1999
- Shane Torsell, Improving Goal Seeking Quality and Efficiency
through Automated Agent Reconfiguration and Learning: an
application of PRODIGY and HAMLET (Jaime Carbonell), 1999
- Robert N. M. Watson, Model Checking to Verify Computer
Security Policies (Ed Clarke), 1999
- David Wingrove, Borg Concurrency Protocol (Han
Kiliccote), 1999
- Douglas (Fox) Harrell, Interactive Cinema: Towards a Model of
3rd Person Navigable Story Spaces (Kathleen Newman), 1998
- Grant Olds, Application and Testing of Student Modeling in
the FIPSE Project (Richard Scheines), 1998