.
1
STANFORD UNIVERSITY i CALIFORNIA 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: January 1972
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: December 1972
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 : March 1972
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: June 1973 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