adi shamir adobe systems alan kay alan perlis allen newell amir pnueli andrew yao as we may think association for computing machinery augmented reality bert sutherland bob kahn bob sproull butler lampson california institute of technology carnegie institute of technology carnegie mellon university charles babbage institute charles bachman claude shannon computer computer graphics computer scientist darpa dana scott dennis ritchie donald knuth douglas engelbart eecs edward feigenbaum fellow fred brooks gouraud shading graphical user interface harvard university herbert simon information theory internet john backus john cocke john hopcroft john warnock joseph sifakis juris hartmanis ken thompson kristen nygaard laureate leonard adleman manuel blum marvin minsky memex national academy of engineering nebraska niklaus wirth ole-johan dahl personal computer peter naur raj reddy richard hamming richard karp robert floyd robert tarjan robin milner ron rivest silicon graphics sketchpad smalltalk stephen cook sun microsystems turing award united states united states national academy of sciences university of utah user interface vannevar bush vint cerf virtual reality william kahan