Come ricercatore senior alla compagnia di supercomputer Thinking Machines ha aiutato a definire e promuovere un versione parallela di Lisp chiamata *Lisp (star lisp). ###>Then he joined the supercomputer company Thinking Machines, where he helped define and promote a parallel version of Lisp called *Lisp (Star Lisp) and a parallel version of C called C*.