I 1979 ble han professor i informatikk ved Carnegie Mellon University, hvor han utførte forskning og publiserte en rekke artikler om datanett, operativsystemer, kunstig intelligens og programmeringsspråk for distribuert databehandling. Hans mest kjente arbeid var for mikrokjernen Mach.