Students
PhD students
- Ed Dean (Philosophy, current, co-advising with James Cummings)
- Sicun Gao (Philosophy, current, co-advising with Ed Clarke)
- Henry Towsner (Mathematical Sciences, current)
Will defend his thesis in 2008, and begin a postdoctoral position in the Department of Mathematics, University of California, Los Angeles, in the fall; will also participate in the MSRI
program in Ergodic Theory and Additive Combinatorics in the fall.
- Yimu Yin (Philosophy, current)
MS thesis: Quantifier elimination and real closed ordered fields with a predicate for the powers of two
Will defend his thesis in 2008, and begin a postdoctoral position in the Department of Mathematics, University of Pittsburgh, in the fall.
- Kerry
Ojakian (PhD Mathematical Sciences, June 2004)
Thesis: Combinatorics in bounded arithmetic
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
First position: Postdoctoral Fellow, Department of Mathematics, University of
Arizona.
Will begin a tenure-track position in the Department of Mathematics, Pacific Lutheran University, Tacoma, in the fall.
MS students
- Ben Northrop (Philosophy, current)
- Steve Kieffer (MS Philosophy, August, 2007)
Thesis: A Language for Mathematical Knowledge Management (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
Currently working for the US Department of Defense.
- Doug White (MS
Philosophy, May 2004)
Thesis: Axiomatics, methodology, and Dedekind's
theory of ideals
Project Director, Northwest Tribal Registry. Owner, Native Grounds.
- Jessi Berkelhammer
(MS Philosophy, September 2003)
Thesis: From reducibility to extensionality:
the two editions of Principia Mathematica
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
Currently a PhD student 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
Currently a PhD student in Logic and Methodology at the University of California,
Berkeley
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)
PhD committees (in Philosophy,
unless otherwise noted)
- Jesse Alama (Stanford, current)
- 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)
MS committees (in Philosophy, unless otherwise noted)
- 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)
Logic and Computation majors
I was the director
of 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