He then became a Research Associate at the University of Michigan's Statistical Research Laboratory and later an Associate Director of the University's Computing Center after its establishment in 1959. While at Michigan he co-authored two compilers, GAT for the IBM 650 and MAD for the IBM 704/709/7090, was involved in the design of the architecture and negotiations with IBM over the virtual memory features that would be included in what became the IBM System/360 Model 67 computer, and in the initial design of the Michigan Terminal System (MTS) time-sharingoperating system.