.

1

STANFORD UNIVERSITY i 94305

COMPUTER SCIENCE DEPARTMENT Telephone : 413-321-2300

PH.D. CANDIDATES 1971-72

Bajcsy, Ruzena Advisor: McCarthy- Thesis: The learning behavior of cybernetic systems in stochastic environments Date: 1972

Bauer, Henry- Advisor: Stone Thesis : Parallel processor allocation and scheduling Date:

|^fe Becker, Joseph Advisor Feldman Thesis: An information-processing model of inter- mediate-level cognition Date:

Brown, Dennis Patrick Advisor: Feigenbaum Thesis: Automatic deduction Date : June 1972

Bumgarner, Larry Advisor: Thesis: Programming languages Date : June 197^

Cadiou, Jean-Marie Advisor Manna Thesis: Recursively defined partial functions and their computations Date:

Crane, Clark Allan Advisor Knuth Thesis : Linear lists and priority queues as balanced binary trees Date:

Erman, Lee Advisor Reddy Thesis : Speaker characteristics and normalization for use in speech recognition " Date:

STANFORD, 2

Fang, Isu Advisor: Knuth Thesis: A metacompiler based on formal semantics Date :

Advisor: Feigenbaum Thesis: Automatic theory formation Date:

Advisor-: Reddy Thesis: Language design for man-machine voice communication Date:

Advisor: Feldman Thesis: Artificial intelligence Date: June 1972

Advisor: Floyd Thesis: Theory of computation Date : 1972

Advisor: Bredt Thesis: Operating systems Date June 1972

Advisor: Knuth " Thesis: Machine-independent code generation Date :

Advisor: Miller Thesis: Representation of dynamic control structure and its use in emulation Date:

Advisor: McKeeman Thesis: Automatic diagnostic analysis of student- produced German sentences Date :

Advisor: Miller Thesis: Graphical data processing Date:

Advisor: Miller Thesis: Computing with multiple microprocessors Date: 1972 " *

3

McGrath, Michael Barnes Advisor: Dantzig Thesis: Application of computer science to operations research " Date: June 1972

Meyers, William James Advisor: Scott Thesis: Linear representation of tree structure: a mathematical theory of parenthesis-free notations Date :

Morris, F. Lockwood Advisor: Feldman Thesis: Correctness of translations of programming languages Date: 1972

Nelson, Edward Clark Advisor: Miller Thesis Resource allocation on parallel machines Date:

Ness, Stephen Advisor: Manna Thesis: Inductive methods of proving properties of programs Date: June 1972

Newey, Malcolm Advisor: McCarthy Thesis; Problem solving in programming systems " Date: June 1972 Paul, Richard Advisor: Fe ldman Thesis: The manipulation of three dimensional objects under computer control Date:

Pollack, Bary Advisor: Miller Thesis: Language and system design for graphical computer systems Date:

Pratt, Vaughan Advisor: Knuth Thesis: Shellsort and sorting networks Date: January 1972

Riddle, William Advisor Miller Thesis Modeling of supervisors for multiple-access computer facilities Date : 1972

Rivest, Ronald Advisor Floyd Thesis : Applied computational complexity Date: k

Rulifson, Johns Advisor: Floyd Thesis: Artificial intelligence (automatic program synthesis) " Date: June 1972 Russell, Robert D. Advisor: Miller Thesis: A model for deadlock-free resource allocation Date: March 1972

Saunders, Michael Advisor: Golub Thesis: Numerically stable algorithms for quadratic programming Date: 1972

Satterthwaite, Edwin Advisor: Knuth Thesis: Source language in debugging tools Date: 1972

Stoutemyer, David Advisor Forsythe Thesis: Numerical implementation of the Schwarz alternating procedure Date: June 1972

Sweet, Richard Advisor: Knuth Thesis: Compiler optimization Date: June 1972

Swinehart, Daniel Advisor: Feldman " "debugging" in high-level Thesis: Interactive computer languages Date: 1972

Tar jan, Robert Advisor: Floyd Thesis: An efficient planarity algorithm Date: January 1972

Van Voorhis, David Advisor: Stone Thesis: Efficient sorting networks Date: January 1972

P