Mehlhorn graduated in 1971 from the Technical University of Munich, where he studied computer science and mathematics, and earned his Ph.D. in 1974 from Cornell University under the supervision of Robert Constable.
He is known for his work on connecting computer programs and mathematical proofs, especially the NuPRL system.
Robert Louis Stevenson | Robert De Niro | Robert E. Lee | Spike Lee | Robert Mugabe | Robert Redford | Robert Burns | Robert Bosch GmbH | Jerry Lee Lewis | Bruce Lee | Robert | Robert A. Heinlein | Robert Schumann | Robert Browning | Peggy Lee | Robert Rauschenberg | Lee Konitz | John Lee Hooker | Robert Plant | Christopher Lee | Robert Altman | Robert Mitchum | Lee | Robert Frost | Robert Southey | Robert F. Kennedy | Stan Lee | Lee Kuan Yew | Robert Maxwell | Robert Graves |
Paul Axt
Douglas Clarke
Robert Constable
David Kierstead
Shih-Chao Liu
Joan Moschovakis
Yiannis Moschovakis
Nels David Nelson
Gene Rose
Clifford Spector
Richard Vesley
Dick de Jongh