UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970

1964-65

	Keller, Sister Mary Kenneth
	"Inductive Inference on Computer Generated Patterns"
	May 21, 1965, Preston C. Hammer

1966-67
	Jamet, Pierre
	"Numerical Methods and Existence Theorems for Singular Linear
	Boundary-Value Problems"
	March 14, 1967, S. V. Parter

	Pereyra, Victor Luis
	"Highly Accurate Discreet Methods for Nonlinear Problems"
	February 23, 1967, S. V. Parter

1967-68
	Cirina, Marco
	"On the Boundary Controllability of Nonlinear Hyperbolic Systems"
	May 31, 1968, J. B. Rosen

	Linz, Peter
	"Numerical Methods for Volterra Integral Equations with
	Applications to Certain Boundary-Value Problems"
	January 11, 1968, B. Noble

	Loscalzo, Frank R.
	"On the Use of Spline Functions for the Numerical Solution of
	Ordinary Differential Equations"
	May 20, 1968, I. J. Schoenberg

	Meyer, Robert R.
	"Solution of Some Nonconvex Problems by Iterative Convex Programming"
	February 8, 1968, J. B. Rosen

	Su, Yueh-Wei (Stanley)
	"A Distributional Theory of Meaning"
	August 12, 1968, R. L. Venezky

	Talbot, Thomas D.
	"Guaranteed Error Bounds for Computed Solutions of Nonlinear Two-Point
	Boundary Value Problems"
	June 11, 1968, R. E. Moore

	Timmreck, Eric M.
	"Advising by Computers:  Course Advising, Medical Treatment, General
	Advising"
	July 3, 1968, L. Uhr

1968-69
	Douglas, Alan J.
	"Approximation of Functions in Relative Error"
	October 11, 1968, J. H. Halton

	Shirey, Robert W.
	"Implementation and Analysis of Efficient Graph Planarity
	Testing Algorithms"
	March 27, 1969, E. F. Moore

	Tavernini, Lucio
	"Numerical Methods for Volterra Functional Differential Equations"
	August 14, 1969, C. W. Cryer

	Williams, John H.
	"Bounded Context Parsable Grammars"
	January 16, 1969, E. F. Moore

1969-70

	Cheung, To-Yat
	"Quasilinear Partial Differential Equations with Inverse Positive
	Property.  Numerical Solution and Error Bounds"
	June 2, 1970, J. B. Rosen

	Cho, Choong Yun
	"Inversion of Hankel and Toeplitz Matrices"
	November 6, 1969, Ben Noble

	Fabens, William J. H.
	"An Adaptive Interactive Teaching System for Programming
	Languages"
	August 13, 1970, L. Uhr

	Garey, Michael R.
	"Optimal Binary Decision Trees for Diagnostic Identification Problems"
	May 21, 1970, E. F. Moore

	Good, Donald I.
	"Toward a Man-Machine System for Proving Programs Correct"
	May 22, 1970, R. L. London

	Grigoriadis, Michael D.
	"A Projective Method for a Class of Structured Nonlinear Programming
	Problems"
	June 2, 1970, J. B. Rosen

	Heindel, Lee E.
	"Algorithms for Exact Polynomial Root Calculation"
	July 15, 1970, G. E. Collins

	Horowitz, Ellis
	"Algorithms for Symbolic Integration of Rational Functions"
	November 25, 1969, G. E. Collins

	Hung, Hing-Sum
	"The Numerical Solution of Differential and Integral Equations by 
	Spline Functions"
	June 3, 1970, J. B. Rosen

	Leinius, Ronald P.
	"Error Detection and Recovery for Syntax-Directed Compiler Systems"
	May 27, 1970, D. R. Fitzwater

	Merten, Alan G.
	"Some Quantitative Techniques for File Organization"
	June 3, 1970, M. E. Muller

	Petznick, George W.
	"Combinatory Programming"
	May 28, 1970, J. B. Rosser

	Robertson, Edward L. III
	"Properties of Complexity Classes and Sets in Abstract Computational
	Complexity"
	August 13, 1970, L. H. Landweber

	Schultz, David H.
	"Experimental Numerical Solution of the Navier Stokes Equations for
	the Flow of a Fluid in a Heated Closed Cavity"
	August 4, 1970, D. Greenspan

	Towster, Edwin
	"Several Methods of Concept-Formation by Computer"
	December 12, 1969, L. Uhr

	Wasserman, Anthony I.
	"Achievement of Skill and Geneality in an Artificial Intelligence
	Program" 
	June 3, 1970, R. L. London

	Wexler, Jonathan D.
	"A Generative, Remedial and Query System for Teaching by Computer"
	March 2l, 1970, L. Uhr

	Zeidman, Edward A.
	"The Evaluation of Multidimensional Integrals by the Monte Carlo
	Sequential Stratification Method"
	June 29, 1970, J. H. Halton

	Zobrist, Albert L.
	"Extraction and Representation of Features for Pattern Recognition
	and the Game of GO"
	August 10, 1970, L. Uhr