Han arbeidet som forsker og underviser ved Stanford University i perioden 1971–80, hvor han tok doktorgrad (ph.d.) i datavitenskap. Veiledere var John McCarthy og Tom Binford.