Lyle Ramshaw
Bio:
SIGGRAPH 1991
Lyle Ramshaw majored in Mathematics at Harvard. He completed his PhD work in Computer Science at Stanford, under Prof Donald E Knuth in 1979. In his thesis, he developed techniques for formalizing the analysis of algorithms, that is, for verifying the average-case running time of a program, as opposed to verifying its correctness. He worked for five years at the Palo Alto Research Center of the Xerox Corporation, then moved to the Systems Research Center of the Digital Equipment Corporation Recently, he has been focusing on problems in computer-aided geometric design.