Matematico statunitense (n. Milwaukee 1938). Laureatosi presso il Case institute of technology (oggi Case western reserve university) di Cleveland, ha conseguito il PhD nel 1963 al California institute of technology. Prof. alla Stanford University (dal 1968; emerito dal 1993), ha dato notevoli contributi all'informatica teorica, sviluppando numerosi algoritmi e tecniche di compilazione. A lui soprattutto si deve lo sviluppo del sistema informatico di scrittura TEX per testi scientifici (formule, simboli, ecc.), che ne ha semplificato e reso più economica la produzione editoriale. Tra le opere: The art of computer programming (1968); Computers and typesetting (1986); Selected papers on analysis of algorithms (2000).