- John Steel, Determinateness and Subsystems of Analysis,
University of California at Berkeley, 1977.
(Steel is a professor at Berkeley.)
[ Although Steel's official thesis adviser was Professor John Addison of
Berkeley, the following is a quotation from the acknowledgements page of
Steel's thesis. "I owe a great debt to Stephen Simpson, who guided me
expertly in the perilous transition from study to research. The results of
Chapters 1 and 2, together with less tangible aspects of my research, are a
product of Simpson's influence." The thesis consists of three chapters. ]
- Rick L. Smith, Theory of Profinite Groups with Effective
Presentations, Pennsylvania State University, 1979.
(Smith is an associate professor at the University of Florida.)
- Galen Weitkamp, Kleene Recursion over the Continuum,
Pennsylvania State University, 1980.
(Weitkamp is a professor at the Western Illinois University.)
- Peter Pappas, The Model Theoretic Structure of Group
Rings, Pennsylvania State University, 1982.
(Pappas is a professor at Vassar College.)
- Stephen H. Brackin, On Ramsey-type Theorems and their
Provability in Weak Formal Systems, Pennsylvania State University,
1984.
(Brackin is a mathematician at Odyssey Research Associates.)
- Mark Stephen Legrand, Coanalytic Sets in the Absence of
Analytic Determinacy, Pennsylvania State University, 1985.
(Legrand is an assistant professor at Auburn University.)
- Douglas K. Brown, Functional Analysis in Weak Subsystems
of Second Order Arithmetic, Pennsylvania State University, 1987.
(Brown was for many years a professor at the Altoona Campus of Penn
State. He is currently an associate professor at Catawba College, in
North Carolina.)
- Jeffry L. Hirst, Combinatorics in Subsystems of Second
Order Arithmetic, Pennsylvania State University, 1987.
(Hirst is a professor at Appalachian State University in North
Carolina.)
- Xiaokang Yu, Measure Theory in Weak Subsystems of Second Order
Arithmetic, Pennsylvania State University, 1987.
(Connie Yu is a professor and department head of Computer Science at
the New Jersey City University.)
- Fernando Ferreira, Polynomial Time Computable Arithmetic and
Conservative Extensions, Pennsylvania State University, 1988.
(Ferreira is a professor at the University of Lisbon.)
- Konstantinos Hatzikiriakou, Commutative Algebra in Subsystems
of Second Order Arithmetic, Pennsylvania State University,
1989.
(Hatzikiriakou is a professor at the University of Thessaly, in Volos,
Greece.)
- Alberto Marcone, Foundations of BQO Theory and Subsystems of
Second Order Arithmetic, Pennsylvania State University, 1993.
(Marcone is a professor at the University of Udine, Italy.)
- A. James Humphreys, On the Necessary Use of Strong Set Existence
Axioms in Analysis and Functional Analysis, Pennsylvania State
University, 1996.
(Humphreys is an assistant professor at Seattle University.)
- Mariagnese Giusto, Topology, Analysis and Reverse
Mathematics, University of Torino, 1998.
(Giusto is a research assistant at the University of Torino.)
- Stephen E. Binns, The Medvedev and Muchnik Lattices of Pi01
Classes, Pennsylvania State University, 2003.
(Binns is a professor at Qatar University.)
- Carl Mummert, On the Reverse Mathematics of General
Topology, Pennsylvania State University, 2005.
(Mummert is an associate professor at Marshall University in
West Virginia.)
- W. M. Phillip Hudelson, Partial Randomness and Kolmogorov
Complexity, Pennsylvania State University, 2013.
(Hudelson is an associate at McKinsey and Company.)
- Noopur Pathak, Computable Aspects of Measure Theory,
Pennsylvania State University, 2013.
(Pathak is a full-time consultant at Ab Initio, in Boston.)
- Sankha S. Basu, A Model of Intuitionism Based on Turing
Degrees, Pennsylvania State University, 2013.
(Basu is an instructor at the University of Tennessee in Chattanooga.)
- Adrian Maler, Effective Theory of Lévy and Feller
processes, Pennsylvania State University, 2015.
PDF picture of the first 16 Ph.D. students
JPG picture of the first 20 Ph.D. students
- Hayden Jananthan, Complexity and Avoidance, Vanderbilt
University, June 2021.
(Jananthan is employed at the Lincoln Laboratories at MIT.)
