A partir de ese entonces, trabajó o fue consultor de Xerox PARC, Symbolics, Wolfram Research, el Lawrence Livermore Laboratory, y Macsyma Inc.