En 1984 dejó Stanford para comenzar a trabajar en Cyc, [1] los frutos que convirtieron MCC en Cycorp en 1994.