Google / Akamai / Microsoft / Thinking Machines Corporation / / /
Facility
University of Virginia / National Center / Northeastern University / University of Illinois / University of Utah / University of Edinburgh / University of Helsinki / Cambridge University / University of Washington / University of Utah Ph.D. / Rice University / /
IndustryTerm
personal computing / software verification / content delivery networks / earlier web search innovations / web search engine / depth-first search / graphical Web browser / Internet Explorer / using depth-first search / /
NaturalFeature
Forest Baskett / /
OperatingSystem
Unix / Linux / MINIX / BSD / GNU / /
Organization
University of Washington / Cambridge University / National Science Foundation / Northeastern University / Cornell / MIT / Harvard / UC Berkeley / Carnegie Mellon / Rice University / Mathematical / National Center for Supercomputer Applications / University of Utah / University of Virginia / University of Illinois / MIT AI Lab / University of Edinburgh / University of Helsinki / Harvard Business School / Stanford / UIUC / /
Person
Kai-Fu Lee / Robert Curl / Hermann Oberth / Danny Lewin / Martin Hellman / James Watson / Andy Bechtolsheim / Sergey Brin / Shawn Fanning / Whitfield Diffie / Tom Leighton / Joel Moses / Bob Metcalfe / Larry Roberts / William A. Martin / Bill Joy / Pat Lincoln / Fred Schneider / Richard Smalley / Ivan Sutherland / Harold Kroto / David Huffman / Andy Tanenbaum / Danny Hillis / Robert S. Boyer / Robert M. Fano / Ralph Merkle / Bill Bonvillian / Ken McMillan / Mark Andreessen / Susan Graham / Brian Josephson / Bob Tarjan / Loren Kohnfelder / Sanjeev Arora / John Warnock / Brian Pinkerton / Larry Page / Richard Stallman / Jim Heath / Anita Jones / Francis Crick / Stanford Ph / Bob Frankston / Alan Kay / Bob Fabry / Claude Shannon / Dan Bricklin / Domenico Ferrari / Victor Zue / /
Position
researcher / BDD-based symbolic model / research associate / co-founder / /