Education
Dr. Hailpern received his B.S. degree, summa cum laude, in Mathematics from the University of Denver (Denver, Colorado) in 1976, and his M.S. and Ph.D. degrees in Computer Science from Stanford University (Stanford, California) in 1978 and 1980 respectively. His thesis was titled, "Verifying Concurrent Processes Using Temporal Logic".
Read more about this topic: Brent Hailpern
Famous quotes containing the word education:
“One is rarely an impulsive innovator after the age of sixty, but one can still be a very fine orderly and inventive thinker. One rarely procreates children at that age, but one is all the more skilled at educating those who have already been procreated, and education is procreation of another kind.”
—G.C. (Georg Christoph)