From 1964 to 1967, during his study at the University of California, Berkeley, he worked with Butler Lampson and Charles P. Thacker on the Berkeley Timesharing System, which became the standard operating system for the SDS 940 mainframe that would later be used by Tymshare, NLS, and Community Memory.