Han skapte . Han var FORE Systems professor i Computer Science ved Carnegie Mellon University, og ble tildelt Turing-prisen i 2007. I 2005 ble han medlem av National Academy of Engineering, og i 2011 av American Academy of Arts and Sciences.